|
checkbox
|
lint
|
2024-09-12 16:10:39 +03:00 |
|
color_input
|
lint
|
2024-09-12 16:10:39 +03:00 |
|
emoji_picker
|
speed up emoji picker somewhat
|
2024-08-13 23:54:18 +03:00 |
|
font_control
|
cleanup
|
2024-07-21 23:46:01 +03:00 |
|
interface_language_switcher
|
fix language switcher
|
2024-07-25 11:58:58 +03:00 |
|
screen_reader_notice
|
Fix spelling errors
|
2024-07-17 18:46:32 -04:00 |
|
status
|
Revert all the user highlight stuff for now
|
2024-08-15 21:53:12 +03:00 |
|
timeline
|
fix nested panel headers
|
2024-08-28 23:54:46 +03:00 |
|
button.style.js
|
fix themes3 specificity sorting
|
2024-09-12 12:46:47 +03:00 |
|
panel.style.js
|
optimizations, WIP theme selector
|
2024-07-17 17:19:57 +03:00 |
|
root.style.js
|
optimizations, WIP theme selector
|
2024-07-17 17:19:57 +03:00 |