You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Blaž Hrastnik 8fe4590666 ui: popup: scroll documentation popups with c-u/c-d.		3 years ago
..
ui	ui: popup: scroll documentation popups with c-u/c-d.	3 years ago
application.rs	ui: popup: scroll documentation popups with c-u/c-d.	3 years ago
commands.rs	ui: Move terminal into compositor, redo required_size hints.	3 years ago
compositor.rs	ui: popup: scroll documentation popups with c-u/c-d.	3 years ago
keymap.rs	minor: fix hover key	3 years ago
main.rs	Always store the log file under home dir.	3 years ago
terminal.rs	ui: Make editor more resilient about being shrunk too small.	3 years ago