|
config.rs
|
Add option for setting dim font weight
|
2024-01-12 10:40:10 -07:00 |
|
icon_cache.rs
|
Add find stub
|
2024-01-11 13:20:16 -07:00 |
|
localize.rs
|
Add config, translations, settings UI
|
2023-12-22 14:31:01 -07:00 |
|
menu.rs
|
Support splitting of terminals using a Pane Grid
|
2024-01-17 16:09:56 +01:00 |
|
terminal.rs
|
Merge branch 'master_jammy' into split
|
2024-01-18 08:00:02 +01:00 |
|
terminal_box.rs
|
Remove debug output
|
2024-01-18 09:08:20 +01:00 |