top | item 37306352 (no title) bigpapikite | 2 years ago Been using this as my userChrome.css:https://gist.github.com/BrianGilbert/1ad7e3931406f485a86a35a... discuss order hn newest jaytemple|2 years ago Thanks. Surprised there isn't an extension to allow toggling on/off. Sujeto|2 years ago Could just be an about:config flag, that would be better than having to apply userChrome.css on every profile where you need it. PurpleRamen|2 years ago Mozilla seems to see potential for abuse with this, which is why they are not offering an API for this. pfcao|2 years ago I think it is because firefox wants to keep the same extention api with chrome. catach|2 years ago Regretfully Mozilla hasn't gotten around to providing the API for that.
jaytemple|2 years ago Thanks. Surprised there isn't an extension to allow toggling on/off. Sujeto|2 years ago Could just be an about:config flag, that would be better than having to apply userChrome.css on every profile where you need it. PurpleRamen|2 years ago Mozilla seems to see potential for abuse with this, which is why they are not offering an API for this. pfcao|2 years ago I think it is because firefox wants to keep the same extention api with chrome. catach|2 years ago Regretfully Mozilla hasn't gotten around to providing the API for that.
Sujeto|2 years ago Could just be an about:config flag, that would be better than having to apply userChrome.css on every profile where you need it.
PurpleRamen|2 years ago Mozilla seems to see potential for abuse with this, which is why they are not offering an API for this.
jaytemple|2 years ago
Sujeto|2 years ago
PurpleRamen|2 years ago
pfcao|2 years ago
catach|2 years ago