Advertisement
Guest User

Untitled

a guest
Oct 25th, 2014
185
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.36 KB | None | 0 0
  1. var prefs = Components.classes['@mozilla.org/preferences-service;1']
  2. .getService(Components.interfaces.nsIPrefService).getBranch('layout.css.');
  3.  
  4. switch (prefs.getCharPref('devPixelsPerPx')) {
  5. case ('-1'):
  6. case ('-1.0'):
  7. prefs.setCharPref('devPixelsPerPx', '1');
  8. break;
  9. default:
  10. prefs.setCharPref('devPixelsPerPx', '-1.0');
  11. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement