vimium/background, branch master The hacker's browser. Put content scripts and background scripts in separate directories, so the purpose and execution mode are more clear. 2012-05-06T03:24:33+00:00 Phil Crosby 2012-05-06T03:15:27+00:00 083ed4dc8282de961e1733e1d98a792d79befc5f 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. 
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.
Store checkbox state as a boolean. 2012-02-27T06:22:57+00:00 Jez Ng 2012-02-27T05:05:54+00:00 3b90d2a1d39da56dfb78583c6fe7f6be835e56a4 






Add hideHud to the vimiumFrontend.js. This now makes this preference actually effective.
2012-02-15T23:21:24+00:00

Phil Crosby

2012-02-15T23:20:38+00:00

02d0a15f0da2481f5055272afc3f9895d5782959












Fix selector specificities.
2012-01-26T07:48:01+00:00

Jez Ng

2012-01-25T18:25:07+00:00

e2ed766a37fbc61f3811af707c7b7b414d9fcfab

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 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.







Re-enable Vimium on the options page.
2012-01-26T07:48:00+00:00

Jez Ng

2012-01-25T17:53:19+00:00

8e746c4125066e7eda03126f0fd86c421eacfc44

The options page now modifies localStorage using the same settings
interface as the content scripts.





The options page now modifies localStorage using the same settings
interface as the content scripts.







Add migration code for old localStorage values.
2012-01-26T07:48:00+00:00

Jez Ng

2012-01-18T14:37:05+00:00

c51d33799eb56675292b65ef0cc04ef97ba02f6f

Finish up the wrapping of localStorage. All background code should now
modify localStorage via settings.js rather than doing it directly.





Finish up the wrapping of localStorage. All background code should now
modify localStorage via settings.js rather than doing it directly.







Refactor settings storage and make it support empty strings.
2012-01-26T07:48:00+00:00

Jez Ng

2012-01-18T06:45:11+00:00

4ad21d921120dba576a75d432b1e2bf4d42f51e3

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.





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.