チェンジセット 110 : branches/release-1.0/chrome/content/config.js

更新日時:

2010/01/16 22:00:04 (2 年 前)

更新者:

h

ログメッセージ:

fixes #45
実装した。設定ダイアログにも項目追加。
ついでにstartup.jsを大幅に修正。

ファイル:

• branches/release-1.0/chrome/content/config.js (変更) (5 diff)

branches/release-1.0/chrome/content/config.js

@@ -6 +6 @@
 const SPLASH_VOICE = "splash_voice";
 const USE_ALLPARET = "use_allparet";
+const RANDOM_SELECT = "random_select";
 const TOOL_ONSTARTUP = "tool_onstartup";
 const TOOL_TO_WINDOW = "tool_opento_window";
@@ -21 +22 @@
 const SPLASH_PROPERTY_VOICE = "extensions.vocalofx.skin_splash.voice";
 const SKIN_PROPERTY_USE_ALLPARET = "extensions.vocalofx.skin_use_allparet";
+const SKIN_PROPERTY_SELECT_RANDOM = "extensions.vocalofx.skin_select_random";
 const GREASEMONKEY_ID = "{e4a8a97b-f2ed-450b-b12d-ee082ba24781}";
 
@@ -84 +86 @@
         use_allparet.checked = prefBrc2.getBoolPref(SKIN_PROPERTY_USE_ALLPARET);
 
+        var random_select = document.getElementById(RANDOM_SELECT);
+        random_select.addEventListener("command", observe, true);
+        random_select.checked = prefBrc2.getBoolPref(SKIN_PROPERTY_SELECT_RANDOM);
+
         var items = prefBrc2.getCharPref(ENABLED_ITEMS);
         if(items.indexOf(GREASEMONKEY_ID) == -1){
@@ -124 +130 @@
                 prefBrc2.setBoolPref(SKIN_PROPERTY_USE_ALLPARET, target.checked);
         }
+        else if(target.id == RANDOM_SELECT){
+                prefBrc2.setBoolPref(SKIN_PROPERTY_SELECT_RANDOM, target.checked);
+        }
 }
 
@@ -143 +152 @@
                 , document.getElementById("tool_opento_window")
                 , document.getElementById("use_allparet")
+                , document.getElementById("random_select")
                 ];
         for(var i = 0; i < other.length; i++){