Closed martixy closed 3 days ago
LGTM. I'll apply it starting with the next release.
I forgot to automate it before release, so I manually marked it in user.js first.
It's now being reflected and released:
// v8.6.2 ESR-Lepton
// ** Theme Default Options ****************************************************
// userchrome.css usercontent.css activate
user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);
//.....
Is your feature request related to a problem?
This is very minor, all things considered, but it would be neat if user.js contained the version number as a comment at the top.
Would be nice to know which version one currently has, in case you forgot what you chose last time or when you updated last.
The solution I'd like
Just put a comment at the top of user.js with the version number and flavor of each release.
E.g.
v8.6.0 ESR-Lepton-Proton-Style
Screenshots or video
No response
Alternatives I've considered
No response
Additional context
No response