cb26aedfa2
* Presumably, the TODO about window resizing interfering with scrolling is not applicable anymore with the existence of padding from the pane grid container. So, set `core.window.content_container` to false. * Pane grid container didn't follow the selected theme. So, set style on it to fix that. Signed-off-by: Mohammad AlSaleh <CE.Mohammad.AlSaleh@gmail.com> |
||
|---|---|---|
| .. | ||
| config.rs | ||
| icon_cache.rs | ||
| key_bind.rs | ||
| localize.rs | ||
| main.rs | ||
| menu.rs | ||
| terminal.rs | ||
| terminal_box.rs | ||
| terminal_theme.rs | ||