Emil Ernerfeldt
|
dbf8520e63
|
Basic scroll area support
Just vertical scrolling at the moment
|
2020-04-21 20:52:17 +02:00 |
|
Emil Ernerfeldt
|
4efbb94e1b
|
Various small improvements
|
2020-04-21 20:48:31 +02:00 |
|
Emil Ernerfeldt
|
9be5537418
|
Animate foldable regions
|
2020-04-21 14:47:17 +02:00 |
|
Emil Ernerfeldt
|
ed67cc6e59
|
Nicer looking indent regions with a gray vertical line
|
2020-04-21 10:28:25 +02:00 |
|
Emil Ernerfeldt
|
864eae2081
|
Separate clip_rect and desired_rect in Region
|
2020-04-21 07:42:33 +02:00 |
|
Emil Ernerfeldt
|
46f123eeb6
|
WIP: Working clip rects for glium
|
2020-04-21 00:17:02 +02:00 |
|
Emil Ernerfeldt
|
2f02446f6f
|
WIP: clip_rect
|
2020-04-20 23:48:55 +02:00 |
|
Emil Ernerfeldt
|
335b22d38d
|
Create region.add_label shortcut
|
2020-04-20 23:45:05 +02:00 |
|
Emil Ernerfeldt
|
1f8cee7573
|
Fxi bug in column subregion code
|
2020-04-20 23:22:50 +02:00 |
|
Emil Ernerfeldt
|
472e0b9afe
|
Refactor Region: remember region rectangle
This will be used as a clip rectangle for generated paint commands.
|
2020-04-20 00:48:54 +02:00 |
|
Emil Ernerfeldt
|
388132ba93
|
Implement window resizing
|
2020-04-19 23:44:24 +02:00 |
|
Emil Ernerfeldt
|
6eae91e028
|
Distinguish ids that need to be unique and warn about name clashes
|
2020-04-19 11:13:24 +02:00 |
|
Emil Ernerfeldt
|
1afda00fc4
|
Make it easier to create an Outline
|
2020-04-19 11:11:41 +02:00 |
|
Emil Ernerfeldt
|
2170081221
|
Use new type Pos2 for positions (points) instead of Vec2
|
2020-04-19 01:05:49 +02:00 |
|
Emil Ernerfeldt
|
624e709a8f
|
Make Id a proper newtype
|
2020-04-18 09:32:39 +02:00 |
|
Emil Ernerfeldt
|
407df94945
|
Switch to parking_lot::Mutex
|
2020-04-18 09:32:39 +02:00 |
|
Emil Ernerfeldt
|
f709423809
|
Rename Data to Context and move to own file
|
2020-04-17 15:33:52 +02:00 |
|
Emil Ernerfeldt
|
de76cb6190
|
Move Memory and Region to own files
|
2020-04-17 15:29:48 +02:00 |
|