| Age | Commit message (Collapse) | Author |
|
purpose and execution mode are more clear.
Sorry if you had patches in your local copies and this breaks them -- these renames were
a long time coming, and now is better than later.
|
|
|
|
actually effective.
|
|
The selector in userDefinedLinkHintCss for non-matchingCharacters takes
precedence over our default selector for matchingCharacters. We do not
want this override to happen.
This problem was probably not observed previously because the
userDefinedLinkHintCss was being loaded earlier in the page rendering,
so our default selectors managed to override it when they were loaded
later.
|
|
The options page now modifies localStorage using the same settings
interface as the content scripts.
|
|
Finish up the wrapping of localStorage. All background code should now
modify localStorage via settings.js rather than doing it directly.
|
|
It appears that localStorage keys with the empty string as their value
will have their values changed to undefined after a browser restart. The
DOM Inspector shows that the keys are still present, but '{{key}} in
localStorage' returns false. Convert all localStorage values to JSON as
a workaround.
This allows us to store null, numerical etc values seamlessly.
Closes #434.
Disable Vimium in the options page, due to a name collision.
|