Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Other themes/extensions should be able to override private tabs/bookmarks styles #127

Closed
Infocatcher opened this issue Dec 16, 2013 · 0 comments
Closed

Other themes/extensions should be able to override private tabs/bookmarks styles #127

Infocatcher opened this issue Dec 16, 2013 · 0 comments
Labels
enhancement

Comments

@Infocatcher
Copy link
Owner

See http://forums.mozillazine.org/viewtopic.php?p=13201499#p13201499

Currently we use nsIStyleSheetService.loadAndRegisterSheet() with USER_SHEET flag, that can be overridden only using userChrome.css or using the same API (e.g. from Stylish).
Infocatcher added a commit that referenced this issue Dec 16, 2013
@Infocatcher
Add options to apply styles without "!important" flag
3e3b612 
(used the old way by default)
(#127)
Infocatcher added a commit that referenced this issue Dec 17, 2013
@Infocatcher
Update changelog: #127, #128
4f0d8a4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Infocatcher