Changeset 1003
- Timestamp:
- 07/30/08 22:27:55 (1 month ago)
- Files:
-
- trunk/chrome/content/preferences/prefs.js (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/chrome/content/preferences/prefs.js
r996 r1003 161 161 var Interface = { 162 162 getMenu: function(pref, which) { 163 return $(pref).value.split(',')[which] == '1'; 163 let menu = $(pref).value.split(','); 164 return which in menu ? menu[which] == '1' : false; 164 165 }, 165 166 setMenu: function(pref, which) { 166 varmenu = $(pref).value.split(',');167 let menu = $(pref).value.split(','); 167 168 menu[which] = $(pref + which).checked ? 1 : 0; 168 169 return menu.toString();
