92e5822185
Basic and fun elements conform to new API change
2023-03-12 01:15:36 -05:00
081b005679
Added a somewhat buggy DocumentContainer
2023-03-11 18:00:29 -05:00
1be769526d
Removed references to flexible from containers
2023-03-11 00:48:15 -05:00
677dca1dbf
ScrollContainer uses ScrollBar for scrolling
2023-03-11 00:21:54 -05:00
cda2d1f0ae
Default elements compile
2023-02-26 22:20:17 -05:00
8ac5108211
Elements are no longer images
2023-02-13 01:49:33 -05:00
9e8e986977
Changes to how scroll bars respond to the mouse
...
- Left clicking on the gutter jumps to that position
- Right clicking on the gutter scrolls incrementally towards that
position
- Middle clicking on the gutter pages up or down to that position
2023-02-11 22:17:03 -05:00
0e3de11203
Fixed a focus issue with ScrollContainer
2023-02-11 00:58:54 -05:00
a0e57921a4
Oh my jod
2023-02-08 14:36:14 -05:00
6936353516
asuhfdjkshlk
2023-02-08 00:22:40 -05:00
892c74a9da
Updated everything else to match
2023-02-02 01:48:38 -05:00
Sasha Koshka
9b22e80f05
Got scroll container working
2023-01-31 18:39:17 -05:00
Sasha Koshka
2f9504b1e4
Fixed wierd inconsistency with element core
2023-01-31 16:18:10 -05:00
Sasha Koshka
ee424b9125
Basic elements conform to new API
2023-01-31 14:54:43 -05:00
801c3ef6f5
Hocus focus
2023-01-30 17:01:47 -05:00
174beba79f
Added a case specifier to the theme API
...
This will allow themes to pull off some cool dirty tricks without
screwing anything up
2023-01-30 01:30:13 -05:00
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
