As far as I know, local files are protected and browser extensions cannot work on them, sorry
Would not have happened without your active contribution!
Hi Matouš! You can now update your installed addon and enjoy the new feature
Tom Adler (f8f74c95) at 19 Dec 19:19
initial commit
Tom Adler (f8f74c95) at 19 Dec 19:19
Tom Adler (478bbafa) at 19 Dec 19:18
fallback for missing value
Tom Adler (30d0003d) at 19 Dec 19:18
forbidden link to addons.mozilla
Tom Adler (f8f74c95) at 19 Dec 19:18
Tom Adler (478bbafa) at 19 Dec 19:17
fallback for missing value
Tom Adler (30d0003d) at 19 Dec 19:13
forbidden link to addons.mozilla
Tom Adler (abced5a0) at 19 Dec 19:10
modernize code and release
Tom Adler (37fb20f5) at 19 Dec 18:52
As per #1 , this adds an options page to configure the indent size. I also optimized the replacement a bit with a negative lookahead regexp.
As per #1 , this adds an options page to configure the indent size. I also optimized the replacement a bit with a negative lookahead regexp.
Tom Adler (5c47d866) at 19 Dec 18:47
align code style
Thanks, now I see a message "Members who can merge are allowed to add commits."
One last question: do you have a preference for explicitly saving settings by clicking "save" rather than automatic saving on change?
Cool!
I know there’s a feature of GitHub PRs called "allow edits from maintainers", do you maybe remember whether something like this is activated for your MR?
Thank you Matouš!
Do you mind me aligning your code to my style, since I’ll have to maintain it in the future?