blob: f8b3692483cac505d365c2eef4f2088a3dd92fa3 [file] [log] [blame]
<?php
# Set the theme for your project's web pages.
# See the Committer Tools "How Do I" for list of themes
# https://dev.eclipse.org/committers/
# Optional: defaults to system theme
$_theme = "";
$theme = "";
if(isset($_POST['theme'])) {
$_theme = $_POST['theme'];
}
if($_theme != "" && $App->isValidTheme($_theme)) {
setcookie("theme", $_theme);
$theme = $_theme;
}
else {
# Get theme from browser, or none default
$theme = $App->getUserPreferedTheme();
}
# Define your project-wide Nav bars here.
# Format is Link text, link URL (can be http://www.someothersite.com/), target (_self, _blank), level (1, 2 or 3)
# these are optional
$Nav->addCustomNav("About JDT", "http://www.eclipse.org/projects/project_summary.php?projectid=eclipse.jdt", "", 1);
$Nav->addCustomNav("Mailing Lists", "http://www.eclipse.org/mail/", "_self", 1);
$Nav->addNavSeparator("Platform", "http://www.eclipse.org/platform/");
$Nav->addNavSeparator("JDT Components", "http://www.eclipse.org/jdt/index.php");
$Nav->addCustomNav("APT", "/jdt/apt/index.php", "_self", 1);
$Nav->addCustomNav("Core", "/jdt/core/index.php", "_self", 1);
$Nav->addCustomNav("Debug", "http://www.eclipse.org/eclipse/debug/index.php", "_self", 1);
$Nav->addCustomNav("UI", "/jdt/ui/index.php", "_self", 1);
?>