Ivan Tham e8214fb1e6 Make gutters padding optional (#2996) ... If all gutters are removed, there are still an extra one padding, would be nice to remove that to save some space.		2022-07-18 10:13:47 +09:00
..
completion.rs	Reuse menu::Item trait in picker (#2814)	2022-07-02 13:21:27 +02:00
editor.rs	Make gutters padding optional (#2996)	2022-07-18 10:13:47 +09:00
info.rs	Refactor Margin for fine grained control (#2727)	2022-06-22 01:52:08 +09:00
markdown.rs	Fix some typos (#2978)	2022-07-05 21:49:54 -05:00
menu.rs	Reuse menu::Item trait in picker (#2814)	2022-07-02 13:21:27 +02:00
mod.rs	Customizable/configurable status line (#2434)	2022-07-18 09:57:01 +09:00
overlay.rs	Add PageUp, PageDown, Ctrl-u, Ctrl-d, Home, End keyboard shortcuts to file picker (#1612)	2022-02-15 10:24:03 +09:00
picker.rs	support toggling pickers' preview panel (#3021)	2022-07-18 10:11:25 +09:00
popup.rs	Refactor Margin for fine grained control (#2727)	2022-06-22 01:52:08 +09:00
prompt.rs	feat(term): uniformize word-wise movement and deletion (#2500)	2022-07-15 21:59:00 +08:00
spinner.rs	Instant is more suitable than SystemTime for spinners	2022-02-10 11:12:47 +09:00
statusline.rs	Customizable/configurable status line (#2434)	2022-07-18 09:57:01 +09:00
text.rs	fix: Allow multi-line prompt documentation	2022-02-20 14:44:44 +09:00