Blaž Hrastnik 8b2cbb53fd minor: fix hover key		2021-03-02 18:29:15 +09:00
..
ui	clippy lint	2021-03-02 18:29:15 +09:00
application.rs	ui: Make editor more resilient about being shrunk too small.	2021-03-01 14:23:10 +09:00
commands.rs	ui: Share popup code with menu.	2021-03-02 18:24:24 +09:00
compositor.rs	ui: Share popup code with menu.	2021-03-02 18:24:24 +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