completion.rs
|
minor: Remove some outdated comments
|
2022-03-03 17:18:26 +09:00 |
editor.rs
|
Fix tab rendering to use dynamic tab width
|
2022-03-04 11:01:33 +09:00 |
info.rs
|
Rename infobox theme scopes (#1741)
|
2022-03-04 09:31:51 +09:00 |
picker.rs
|
Picker performance improvements
|
2022-03-03 16:52:41 +09:00 |
popup.rs
|
Close some popups automatically (#1285)
|
2022-02-23 12:46:12 +09:00 |
prompt.rs
|
Close some popups automatically (#1285)
|
2022-02-23 12:46:12 +09:00 |
text.rs
|
fix: Allow multi-line prompt documentation
|
2022-02-20 14:44:44 +09:00 |