undefined | Better HN

0 pointsbigpapikite2y ago0 comments

Been using this as my userChrome.css:

0 comments

Thanks. Surprised there isn't an extension to allow toggling on/off.

Could just be an about:config flag, that would be better than having to apply userChrome.css on every profile where you need it.

Mozilla seems to see potential for abuse with this, which is why they are not offering an API for this.

pfcao2y ago

I think it is because firefox wants to keep the same extention api with chrome.

Regretfully Mozilla hasn't gotten around to providing the API for that.

j / k navigate · click thread line to collapse

Thanks. Surprised there isn't an extension to allow toggling on/off.

Could just be an about:config flag, that would be better than having to apply userChrome.css on every profile where you need it.

Mozilla seems to see potential for abuse with this, which is why they are not offering an API for this.

pfcao2y ago

I think it is because firefox wants to keep the same extention api with chrome.

Regretfully Mozilla hasn't gotten around to providing the API for that.

j / k navigate · click thread line to collapse