tophf
2631e3a685
try to fit all options in 640px max-height set by Chrome
2017-08-27 17:17:28 +03:00
Rob Garrison
a46684f892
Style options cursor
2017-07-16 15:04:40 -05:00
tophf
ece3822891
option to switch toolbar icon sets
2017-07-09 12:22:44 +03:00
tophf
c3218680f1
optionsUI: vertically align options
2017-07-01 13:39:33 +03:00
tophf
5485fbf8b3
optionsUI: more flexboxes and relative widths
...
* also center the UI vertically in Opera
* allow body width to grow up to 800px in FF/Opera/etc
* use :: in pseudo selectors
2017-06-19 16:00:45 +03:00
tophf
ad100d42b3
optionsUI: equal height of 2-line action buttons
2017-04-29 20:58:53 +03:00
tophf
cb79b3561c
code cosmetics: simplify onoffswitch
2017-04-29 20:05:42 +03:00
tophf
6d65d2a2b6
Expose iframes via HTML[stylus-iframe]
...
* convert actions to buttons
2017-04-29 03:27:47 +03:00
tophf
cff3d13d4b
optionsUI: add a post-import update hint
2017-04-28 15:28:51 +03:00
tophf
5eb55baa95
optionsUI+Opera: keep the status inside its block
2017-04-21 15:56:21 +03:00
tophf
142666ac0f
optionsUI: show progress bar and # of installed updates
2017-04-18 12:46:38 +03:00
tophf
ba02bc52a1
optionsUI: left padding in firefox is 6px
2017-04-18 12:46:37 +03:00
tophf
eb37b3e4ad
optionsUI: center in opera correctly
2017-04-18 12:46:37 +03:00
tophf
bdcac21d7e
optionsUI: group options and shorten labels
2017-04-18 12:46:37 +03:00
tophf
c09ee38c9e
rework enforceInputRange
...
* enforce only in onchange
* notify on valid input immediately
* highlight invalid values
2017-04-18 12:46:36 +03:00
tophf
2bb7d31042
fixups for Opera/Vivaldi/Firefox-compatibility
2017-04-18 12:46:32 +03:00
tophf
efd3e9ef6c
options: use live prefs + reset button
2017-04-18 12:46:30 +03:00
tophf
7d9a6b5a3f
OptionsUI: add 2 global options + simplify
...
* [x] show badge with active styles count
* [x] styles on top in the popup
* Simplify since we use a persistent background page so it's always there for us
2017-04-18 12:46:25 +03:00
tophf
4dd8066ca4
OptionsUI: restructure html, make it userstylable
2017-04-18 12:46:25 +03:00
Jeremy Schomery
d6ec816ea9
adding options UI ( fixes #22 , #24 )
2017-02-14 19:05:53 +03:30
