Andrew Dolgov
|
c1ad7acfb9
|
bookmarklet: encode URL properly so special characters won't get lost
|
4 years ago |
Andrew Dolgov
|
cee76f4d49
|
bookmarklets: add more info link
|
6 years ago |
Andrew Dolgov
|
4e253add8c
|
UI: add some more info links to relevant wiki pages; minor layout updates
|
6 years ago |
Andrew Dolgov
|
b96beeeda7
|
bookmarklets: show pref link-buttons properly
|
6 years ago |
Andrew Dolgov
|
814e49f8f7
|
add icons to accordion panels in preferences
fix typo in pref-prefs closing panel tag
|
6 years ago |
Andrew Dolgov
|
31e79317b3
|
normalize various font sizes and families between prefs & main UI
change some dialogs layout a bit to maybe become more readable
|
6 years ago |
Andrew Dolgov
|
31f7966567
|
use button-style links for bookmarklets
|
7 years ago |
Andrew Dolgov
|
b2d42e960b
|
replace some usages of SELF_URL_PATH with get_self_url_prefix()
|
7 years ago |
Andrew Dolgov
|
c114a2596f
|
move add_feed_url() to pref_feeds
|
8 years ago |
Andrew Dolgov
|
21ce7d9ec0
|
update phpmd ruleset to use (subset) of cleancode
fix various minor issues reported by static analysis
remove redundant php closing tag from several more files
|
8 years ago |
Andrew Dolgov
|
73dfda1da6
|
various minor style updates, add danger buttons
|
9 years ago |
Andrew Dolgov
|
11334fdf6c
|
make appearance of some preference panes more similar
|
12 years ago |
Andrew Dolgov
|
106a3de91c
|
plugins: bump API version
|
12 years ago |
Andrew Dolgov
|
6322ac79a0
|
remove $link
|
12 years ago |
Andrew Dolgov
|
2ec1e00e2d
|
add bookmarklets plugin
|
12 years ago |