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 |