Skip to content

Commit

Permalink
Make sure that the contents menu reflects the fact that we have snaps…
Browse files Browse the repository at this point in the history
…hots or not (#1154).
  • Loading branch information
agarny committed May 6, 2017
1 parent b3f0f66 commit f5b5f55
Showing 1 changed file with 28 additions and 13 deletions.
41 changes: 28 additions & 13 deletions doc/res/menu.js
Original file line number Diff line number Diff line change
@@ -1,15 +1,30 @@
function headerAndContentsMenu(pageName, relativePath) {
doHeaderAndContentsMenu(pageName, relativePath, 103, 103, 103,
{ "menuItems": [
{ "level": 0, "label": "Home", "link": "index.html" },
{ "separator": true },
{ "level": 0, "label": "User documentation", "link": "user/index.html" },
{ "level": 0, "label": "Developer documentation", "link": "developer/index.html" },
{ "separator": true },
{ "level": 0, "label": "Downloads", "link": "downloads/index.html" },
{ "level": 1, "label": "Previous snapshots", "link": "downloads/previousSnapshots.html" },
{ "separator": true },
{ "level": 0, "label": "Contact us", "link": "user/contactUs.html" }
]
});
if (hasSnapshots()) {
doHeaderAndContentsMenu(pageName, relativePath, 103, 103, 103,
{ "menuItems": [
{ "level": 0, "label": "Home", "link": "index.html" },
{ "separator": true },
{ "level": 0, "label": "User documentation", "link": "user/index.html" },
{ "level": 0, "label": "Developer documentation", "link": "developer/index.html" },
{ "separator": true },
{ "level": 0, "label": "Downloads", "link": "downloads/index.html" },
{ "level": 1, "label": "Previous snapshots", "link": "downloads/previousSnapshots.html" },
{ "separator": true },
{ "level": 0, "label": "Contact us", "link": "user/contactUs.html" }
]
});
} else {
doHeaderAndContentsMenu(pageName, relativePath, 103, 103, 103,
{ "menuItems": [
{ "level": 0, "label": "Home", "link": "index.html" },
{ "separator": true },
{ "level": 0, "label": "User documentation", "link": "user/index.html" },
{ "level": 0, "label": "Developer documentation", "link": "developer/index.html" },
{ "separator": true },
{ "level": 0, "label": "Downloads", "link": "downloads/index.html" },
{ "separator": true },
{ "level": 0, "label": "Contact us", "link": "user/contactUs.html" }
]
});
}
}

0 comments on commit f5b5f55

Please sign in to comment.