K. Lange
|
befb010dc2
|
menu: Changes to support Kuroko bindings
|
2021-01-25 20:12:13 +09:00 |
|
K. Lange
|
79bdb6fc02
|
png: replace icons
|
2020-06-12 18:12:33 +09:00 |
|
K. Lange
|
f67188b1d8
|
help-browser: first pass at new help documents
|
2020-04-15 17:50:30 +09:00 |
|
K. Lange
|
b5a4a89ed4
|
help-browser: basic keyboard navigation
|
2018-12-23 16:34:27 +09:00 |
|
K. Lange
|
488c659e8d
|
meta: add /etc/os-release and swap links back to github
|
2018-12-20 14:25:25 +09:00 |
|
K. Lange
|
eaf2f287ac
|
help-browser: add temporary description for package-manager
|
2018-11-28 21:30:53 +09:00 |
|
K. Lange
|
2aff7e1f2e
|
help-browser: very basic, minimal implementation
|
2018-11-28 21:11:19 +09:00 |
|
K. Lange
|
6e6675dd0a
|
Restructure decorations so bounds can be window-specific (for fullscreen)
|
2018-09-12 12:53:08 +09:00 |
|
K. Lange
|
2531edb2da
|
Header comments for a bunch of apps
|
2018-08-14 17:13:38 +09:00 |
|
K. Lange
|
db9e401354
|
Don't fork off to call system for help, about
|
2018-08-12 13:24:34 +09:00 |
|
K. Lange
|
ad7a43623f
|
More skeleton stuff for help-browser
|
2018-08-10 17:31:44 +09:00 |
|
K. Lange
|
03d6199af7
|
Decorator can handle checking for menus
|
2018-07-24 09:20:11 +09:00 |
|
K. Lange
|
5f7b7c9f38
|
Render windows as focused when they have menus, like we used to in python
|
2018-07-22 01:24:22 +09:00 |
|
K. Lange
|
b26104c156
|
Keyboard interaction between menubar entries
|
2018-07-21 18:32:00 +09:00 |
|
K. Lange
|
0e45293ced
|
Merge menubar into menu
|
2018-07-21 17:56:10 +09:00 |
|
K. Lange
|
78128e0839
|
gitlab migration
|
2018-06-05 09:44:56 +09:00 |
|
K. Lange
|
d37d5fc16f
|
Pass a requested center coordinate to 'about'
|
2018-06-04 19:37:30 +09:00 |
|
K. Lange
|
b111044cca
|
Make sure menu bar stops being hilighted when options are selected
|
2018-06-04 18:50:36 +09:00 |
|
K. Lange
|
53d041135c
|
fix accidental runaway forks
|
2018-06-04 17:44:51 +09:00 |
|
K. Lange
|
e68dfe20b6
|
Add flexible about dialogs
|
2018-06-04 12:35:46 +09:00 |
|
K. Lange
|
23c458e88a
|
wip file browser, help browser (blank apps)
|
2018-05-21 08:12:02 +09:00 |
|