Changeset 1033
- Timestamp:
- 08/03/08 14:56:58 (1 month ago)
- Files:
-
- sandbox/serverswitcher/chrome/content/manager.js (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
sandbox/serverswitcher/chrome/content/manager.js
r994 r1033 63 63 }, 64 64 toggle: function() { 65 Preferences.setExt(SSW_PREF_ENABLED, !Preferences.get DTA(SSW_PREF_ENABLED, true));65 Preferences.setExt(SSW_PREF_ENABLED, !Preferences.getExt(SSW_PREF_ENABLED, true)); 66 66 this.adjustButton(); 67 67 },
