Tony Garnock-Jones
|
28f337b6cc
|
The Big Spawn/Actor Swap
|
2017-02-20 17:34:46 -05:00 |
Tony Garnock-Jones
|
005fa46b68
|
Note re: pop-up-menu-trigger
|
2016-09-28 05:43:03 -04:00 |
Tony Garnock-Jones
|
c868b2e281
|
Document layout protocol
|
2016-09-28 05:42:54 -04:00 |
Tony Garnock-Jones
|
0af3cbee16
|
Make layout-driver commit to a single kind of layout per request
|
2016-09-28 05:07:50 -04:00 |
Tony Garnock-Jones
|
7a2809cff9
|
Use coordinate-map to align "start" menu nicely
|
2016-09-27 17:09:07 -04:00 |
Tony Garnock-Jones
|
9bae5a3536
|
"Clip" shrinkable pushbuttons better. Still needs lots of work.
|
2016-09-27 00:21:02 -04:00 |
Tony Garnock-Jones
|
105646be57
|
Make window list buttons shrinkable
|
2016-09-27 00:07:54 -04:00 |
Tony Garnock-Jones
|
e9f81398e0
|
Name window-list-monitor actors
|
2016-09-26 17:19:16 -04:00 |
Tony Garnock-Jones
|
42a9f93b49
|
Monitor and display top widget
|
2016-09-26 16:21:35 -04:00 |
Tony Garnock-Jones
|
1e9c90abd7
|
Clean up raise protocol
|
2016-09-26 16:10:36 -04:00 |
Tony Garnock-Jones
|
0400385142
|
Window list widgetry
|
2016-09-26 16:02:46 -04:00 |
Tony Garnock-Jones
|
3c57b71ed2
|
Minor tweaks to toolbar layout
|
2016-09-26 16:02:36 -04:00 |
Tony Garnock-Jones
|
d9f8ad637f
|
Default to fullscreen again
|
2016-09-25 20:28:25 -04:00 |
Tony Garnock-Jones
|
b635932ecd
|
Toolbar and clock
|
2016-09-25 20:27:08 -04:00 |
Tony Garnock-Jones
|
6e1819cc3b
|
Reusable layout computation
|
2016-09-25 19:32:04 -04:00 |
Tony Garnock-Jones
|
ad177f2d74
|
Generalize menu item ordering to datum-order
|
2016-09-25 15:27:48 -04:00 |
Tony Garnock-Jones
|
08dd0f16d1
|
Initial commit
|
2016-09-25 15:07:06 -04:00 |