Blaž Hrastnik ddcf5156c0 ui: menu: Adjust scroll via required_size area caching.		2021-03-08 17:13:45 +09:00
..
ui	ui: menu: Adjust scroll via required_size area caching.	2021-03-08 17:13:45 +09:00
application.rs	ui: Move terminal into compositor, redo required_size hints.	2021-03-08 17:00:32 +09:00
commands.rs	ui: Move terminal into compositor, redo required_size hints.	2021-03-08 17:00:32 +09:00
compositor.rs	ui: Move terminal into compositor, redo required_size hints.	2021-03-08 17:00:32 +09:00
keymap.rs	minor: fix hover key	2021-03-02 18:29:15 +09:00
main.rs	Always store the log file under home dir.	2021-02-19 16:48:51 +09:00
terminal.rs	ui: Make editor more resilient about being shrunk too small.	2021-03-01 14:23:10 +09:00