function loadSettingsMenu() {
// Create the command id used by the menu
var COMMAND_ID = "theme.settings";
// Register menu event...
CommandManager.register("Settings", COMMAND_ID, settings.open);
// Add theme menu item
menu.addMenuItem(COMMAND_ID);
menu.addMenuDivider();
}
_.each(themes, function (theme) {
// Create the command id used by the menu
var COMMAND_ID = "theme." + theme.name;
// Register menu event...
CommandManager.register(theme.displayName, COMMAND_ID, function () {
syncMenuSelection(false);
setThemesClass([theme.name]);
syncMenuSelection(true);
themeManager.update(true);
});
// Add theme menu item
menu.addMenuItem(COMMAND_ID);
});