diff options
| author | salmonik <salmonik@tuta.io> | 2026-08-21 04:04:20 +0200 |
|---|---|---|
| committer | salmonik <salmonik@tuta.io> | 2026-08-21 04:04:20 +0200 |
| commit | df13e7bf4d56d0563628472f8716afb01a96cfac (patch) | |
| tree | 2d4ce322416cfeb8d589d1ca50c31ff53be0dc2f /scripts/test-disk.sh | |
| parent | wm: flush terminal window content on gaining focus (diff) | |
| download | rs-dos-df13e7bf4d56d0563628472f8716afb01a96cfac.tar.gz rs-dos-df13e7bf4d56d0563628472f8716afb01a96cfac.zip | |
wm: 1px focus-colored border + flush full window on focus change
- draw_window_border(): 1px border around every window except the root.
Blue (TITLE_BG_FOCUS) when focused, grey (TITLE_BG) when not.
- focus() / focus_console(): composite the full window area + border pad
on both the old and new focused windows (was title-bar-only before).
- flush(): include border pad in the damage rectangle.
- move_window(): redraw border area at old and new positions.
- Remove redundant term.flush() from tty Focus handler (focus() covers it).
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions