-
-
Notifications
You must be signed in to change notification settings - Fork 189
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.
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
Ver 5.0.0 Feedback Thread #351
Conversation
I created
And with Does this files are needed in
|
They contain the information needed for development. This document may be helpful. |
so let me try to parse this one more time: we could try and change the userchrome flags through about:config all we want, but no matter what, those values will NEVER truly (at this moment) apply that way. we would have to edit those flags into the user.js file (if not already included) and set them that way after following the steps in this feedback thread. that is.....frankly annoying. I thought we could set the values through firefox itself by now, but we still have to do it manually, or edit the userchrome folder directly. my apologies for my griping, but will we ever truly be able to set userchrome flags through firefox's about:config page any time soon, or is that just never happening no matter what? |
It's possible using only What we can see here:
This is why the wiki document is written to delete the file. |
.....my potato brain did not see that until now. forgive my big brain move, I have indeed deleted the thing and I see it working again |
Describe the PR
Build using SCSS, and have optional systems.
Setup - Please refer Wiki:Installation Guide
user.js
to profile directoryuser.js
file before the theme works.The option system depends on user configuration, and nothing applies without settings.
Customize
You can be customized using the following file:
user.js
must modify the file located in<FIREFOX_PROFILE>/user.js
, not<FIREFOX_PROFILE>/chrome/user.js
.user.js
file andabout:config
and needs to be restarted.The option system is built using
CSS -moz-bool-pref() @supports function
as a base.@supports
change in CSS is not detected in real time. (Only start time)So a restart is required, and if the mozilla need real time changes, are using
@media
to handle it.However, since this project only use pure CSS, we cannot add
@media rules
.user.js
file, click theClear startup cache...
inabout:support
.If the
Clear startup cache...
button is not used, the setting may be overridden.about:config
, it will not take effect if it remains inuser.js
.It is recommended to explicitly change the value in the
user.js
file.user.js
file, the last value is preserved.It is recommended to explicitly change the value to
false
in theuser.js
file.Related Issue
Main
Additional
Frequency user requirements cc75c6a 1943c5c
Customize
userChrome-override.css
,userContent-override.css
& installer support Consider an installation that would allow git pulling for new changes and allow you to keep custom additions #87 Include own usercontent and keep lepton updated #237user-override.js
& installer supportOther
Screenshots
Using
dev
branch and the following settingsuserChrome.tab.on_bottom
userChrome.tab.on_bottom.menubar_on_top
Additional context
You can suggest compatibility issues, option names, etc.