Menu entries for Mozilla's Extension/Theme Manager and about:config. This opens...
authorphasefx <phasefx@dcc99617-32d9-48b4-a31d-7c20da2025e4>
Sun, 23 Sep 2007 03:36:50 +0000 (03:36 +0000)
committerphasefx <phasefx@dcc99617-32d9-48b4-a31d-7c20da2025e4>
Sun, 23 Sep 2007 03:36:50 +0000 (03:36 +0000)
git-svn-id: svn://svn.open-ils.org/ILS/trunk@7818 dcc99617-32d9-48b4-a31d-7c20da2025e4

Open-ILS/web/opac/locale/en-US/lang.dtd
Open-ILS/xul/staff_client/chrome/content/main/menu.js
Open-ILS/xul/staff_client/chrome/content/main/menu_frame_menus.xul
Open-ILS/xul/staff_client/defaults/preferences/prefs.js

index 219d745..2e650f2 100644 (file)
 <!ENTITY staff.main.menu.admin.public_opac.accesskey "p">
 <!ENTITY staff.main.menu.admin.public_opac.label "Public OPAC">
 <!ENTITY staff.main.menu.admin.restore_all_tabs.label "Unhide Tabs">
+<!ENTITY staff.main.menu.admin.extension_manager.label "Extension Manager">
+<!ENTITY staff.main.menu.admin.theme_manager.label "Theme Manager">
+<!ENTITY staff.main.menu.admin.about_config.label "about:config">
 <!ENTITY staff.main.menu.admin.stat_cat_edit.accesskey "C">
 <!ENTITY staff.main.menu.admin.stat_cat_edit.label "Statistical Category Editor">
 <!ENTITY staff.main.menu.admin.survey_wizard.accesskey "S">
index 49644b1..f4a0585 100644 (file)
@@ -578,6 +578,24 @@ main.menu.prototype = {
                                        }
                                }
                        ],
+                       'cmd_extension_manager' : [
+                               ['oncommand'],
+                               function() {
+                                       obj.set_tab('chrome://mozapps/content/extensions/extensions.xul?type=extensions',{'tab_name':'Extension Manager'},{});
+                               }
+                       ],
+                       'cmd_theme_manager' : [
+                               ['oncommand'],
+                               function() {
+                                       obj.set_tab('chrome://mozapps/content/extensions/extensions.xul?type=themes',{'tab_name':'Theme Manager'},{});
+                               }
+                       ],
+                       'cmd_about_config' : [
+                               ['oncommand'],
+                               function() {
+                                       obj.set_tab('chrome://global/content/config.xul',{'tab_name':'about:config'},{});
+                               }
+                       ],
                        'cmd_shutdown' : [
                                ['oncommand'],
                                function() {
index cabc756..7c3abef 100644 (file)
        <command id="cmd_download_patrons" />
        <command id="cmd_local_admin" />
 
+       <command id="cmd_extension_manager"/>
+       <command id="cmd_theme_manager"/>
+       <command id="cmd_about_config"/>
+
        <command id="cmd_adv_user_edit" />
        <command id="cmd_console" />
        <command id="cmd_shell" />
                                <menuitem label="server/main/test.xul" accesskey="2" command="cmd_test_xul"/>
                                <menuitem label="&staff.main.menu.admin.clear_cache.label;" accesskey="&staff.main.menu.admin.clear_cache.accesskey;" command="cmd_clear_cache"/>
                                <menuitem label="&staff.main.menu.admin.restore_all_tabs.label;" command="cmd_restore_all_tabs"/>
+                               <menuitem label="&staff.main.menu.admin.extension_manager.label;" command="cmd_extension_manager"/>
+                               <menuitem label="&staff.main.menu.admin.theme_manager.label;" command="cmd_theme_manager"/>
+                               <menuitem label="&staff.main.menu.admin.about_config.label;" command="cmd_about_config"/>
                        </menupopup>
                </menu>
        </menupopup>
index 2ef7797..592f740 100644 (file)
@@ -53,3 +53,22 @@ pref("browser.download.manager.openDelay", 0);
 pref("browser.download.manager.focusWhenStarting", false);
 pref("browser.download.manager.flashCount", 2); 
 
+
+// For extension manager, etc.
+pref("xpinstall.dialog.confirm", "chrome://mozapps/content/xpinstall/xpinstallConfirm.xul");
+pref("xpinstall.dialog.progress.skin", "chrome://mozapps/content/extensions/extensions.xul?type=themes");
+pref("xpinstall.dialog.progress.chrome", "chrome://mozapps/content/extensions/extensions.xul?type=extensions");
+pref("xpinstall.dialog.progress.type.skin", "Extension:Manager-themes");
+pref("xpinstall.dialog.progress.type.chrome", "Extension:Manager-extensions");
+pref("extensions.update.enabled", true);
+pref("extensions.update.interval", 86400);
+pref("extensions.dss.enabled", false);
+pref("extensions.dss.switchPending", false);
+pref("extensions.ignoreMTimeChanges", false);
+pref("extensions.logging.enabled", false);
+pref("general.skins.selectedSkin", "classic/1.0");
+// NB these point at AMO
+pref("extensions.update.url", "chrome://mozapps/locale/extensions/extensions.properties");
+pref("extensions.getMoreExtensionsURL", "chrome://mozapps/locale/extensions/extensions.properties");
+pref("extensions.getMoreThemesURL", "chrome://mozapps/locale/extensions/extensions.properties");
+