Emil Ernerfeldt
|
7a1c97ccfe
|
Simplify and unify queries about available space
|
2020-05-12 18:21:09 +02:00 |
|
Emil Ernerfeldt
|
3a1d677840
|
refactor interact style
|
2020-05-10 08:55:41 +02:00 |
|
Emil Ernerfeldt
|
fa82e8d806
|
Rename Region to Ui (shorter, sweeter)
|
2020-05-08 22:42:31 +02:00 |
|
Emil Ernerfeldt
|
702e135f07
|
Keep window title and collapsing headers on one line
|
2020-05-08 17:16:32 +02:00 |
|
Emil Ernerfeldt
|
50d759d1b4
|
Make Region::desired_rect private
|
2020-05-05 02:55:31 +02:00 |
|
Emil Ernerfeldt
|
2d7131d713
|
Made more Region members private
|
2020-05-04 21:59:28 +02:00 |
|
Emil Ernerfeldt
|
d52cccde7b
|
Move Slider widgets to own file
|
2020-05-01 19:24:52 +02:00 |
|