Changeset 616
- Timestamp:
- 01/19/08 09:50:42 (11 months ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/src/chrome/chromeFiles/content/prefmanager.js
r608 r616 1 1 var GM_prefRoot = new GM_PrefManager(); 2 2 3 GM_PrefManager.MIN_INT_32 = (1 << 31);4 GM_PrefManager.MAX_INT_32 = ~(1 << 31);3 GM_PrefManager.MIN_INT_32 = -0x80000000; 4 GM_PrefManager.MAX_INT_32 = 0x7FFFFFFF; 5 5 6 6 /**
