14d268bc6b
Add support for overriding plugin default options with user preferences. Resolved user preferences are cached between switching colorschemes. |
||
---|---|---|
.. | ||
gruber-darker |
14d268bc6b
Add support for overriding plugin default options with user preferences. Resolved user preferences are cached between switching colorschemes. |
||
---|---|---|
.. | ||
gruber-darker |