Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save gabrielpetry/f6a959232c0570bbe1273209195c6899 to your computer and use it in GitHub Desktop.
Save gabrielpetry/f6a959232c0570bbe1273209195c6899 to your computer and use it in GitHub Desktop.
Browser Console script to reload userChrome.css
/*
Code to paste and run in the Browser Console
Requires devtools.chrome.enabled => true in about:config
Tested in Firefox 68.0.1 on Windows
*/
// Create references to APIs we'll use
var ss = Cc["@mozilla.org/content/style-sheet-service;1"].getService(Ci.nsIStyleSheetService);
var io = Cc["@mozilla.org/network/io-service;1"].getService(Ci.nsIIOService);
var ds = Cc["@mozilla.org/file/directory_service;1"].getService(Ci.nsIProperties);
// Get the chrome directory in the current profile
var chromepath = ds.get("UChrm", Ci.nsIFile);
// Specific file: userChrome.css or userContent.css
chromepath.append("userChrome.css");
// Morph to a file URI
var chromefile = io.newFileURI(chromepath);
// Unregister the sheet
if(ss.sheetRegistered(chromefile, ss.USER_SHEET)){
ss.unregisterSheet(chromefile, ss.USER_SHEET);
}
// Reload the sheet
ss.loadAndRegisterSheet(chromefile, ss.USER_SHEET);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment