diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 17:31:09 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 17:31:09 -0700 |
| commit | a69311708493efe8524aed0e9d19365f79f2fab3 (patch) | |
| tree | c9f1f4b9dd9e1469bac811ce9ea563a40f4cab1c /html-test/ref/mini_FunArgs.html | |
| parent | 67a142271f6a590a4307d30ac5c5359632ff21c4 (diff) | |
Resurrect the style-switcher
This fixes #810. Looks like things were broken during the quickjump
refactor of the JS.
For the (git) record: I do not think the style switcher is a good idea.
I'm fixing it for the same reason @mzero added it; as an answer to
"rumblings from some that they didn't want their pixels changed on bit"
Diffstat (limited to 'html-test/ref/mini_FunArgs.html')
0 files changed, 0 insertions, 0 deletions