92aeb48a1f
Overhauled the theme system
...
Also added a toggle switch :)
2023-01-29 01:49:01 -05:00
90067a6ded
Stripes :)))))
2023-01-21 21:24:02 -05:00
5990496455
Clicking on the scroll gutter scrolls
2023-01-21 21:05:51 -05:00
09eede2c90
Small theming tweaks
2023-01-21 20:58:25 -05:00
92a9c9370d
Scrollbars respond to mouse dragging more naturally
2023-01-21 01:24:24 -05:00
d435f5a6a9
Scrollbars can be dragged with the mouse
2023-01-21 01:15:30 -05:00
72f604e819
Repeated keys are detected properly
...
The repeated bool was removed and instead key release events are
*only* sent when the key is actually let go. If an element wants to
listen to repeat presses, it can just listen to press events.
2023-01-20 17:40:28 -05:00
2f53c942ac
The scroll wheel scrolls the scroll box
2023-01-20 16:44:07 -05:00
b85285f326
Scroll bars recalculate and draw properly
2023-01-20 15:52:46 -05:00
faf38b96c2
Scrollbar drawing
2023-01-20 15:35:43 -05:00
Sasha Koshka
4367bba602
Scroll bar background drawing
2023-01-19 18:29:57 -05:00
Sasha Koshka
9c37cb8fef
Scroll container mouse pass through
2023-01-19 18:03:50 -05:00
Sasha Koshka
78fb934afe
Ok this is overstepping the bounds of this branch
2023-01-19 17:35:19 -05:00
Sasha Koshka
c813463bb4
Basic elements now conform to the new API (largely untested)
2023-01-19 16:49:34 -05:00
dcc7fcb251
Ok thats it next commit im getting rid of parent hooks
2023-01-19 13:07:27 -05:00
