54 ) |
54 ) |
55 } |
55 } |
56 }.toList() |
56 }.toList() |
57 ) |
57 ) |
58 |
58 |
59 fun projectNavMenu(projects: List<Project>, pathInfos: PathInfos) = NavMenu( |
59 fun projectNavMenu(projects: List<Project>, pathInfos: PathInfosFull) = NavMenu( |
60 sequence { |
60 sequence { |
61 val cnode = pathInfos.componentInfo.node |
61 val cnode = pathInfos.componentInfo.node |
62 val vnode = pathInfos.versionInfo.node |
62 val vnode = pathInfos.versionInfo.node |
63 for (project in projects) { |
63 for (project in projects) { |
64 val active = project == pathInfos.projectInfo.project |
64 val active = project == pathInfos.projectInfo.project |