diff options
| author | Robin Jarry <robin@jarry.cc> | 2023-04-11 10:52:04 +0200 |
|---|---|---|
| committer | Robin Jarry <robin@jarry.cc> | 2023-04-15 17:27:10 +0200 |
| commit | a9a590a833e2a1616a87b3b9e5fb982ebf8cf1ab (patch) | |
| tree | 6a3dcc2934d61456dc8a1c20a5214e29895639bb /contrib/linters.go | |
| parent | e641da83471bc3e70b31bfceac21933836a26eac (diff) | |
| download | aerc-a9a590a833e2a1616a87b3b9e5fb982ebf8cf1ab.tar.gz | |
term: update tab title even when tab is not selected
When a terminal widget title is updated, the screen is not redrawn. Only
the UI state is invalidated so that on the next redraw, the title will
be refreshed.
Make sure that the screen is redrawn when the title changes.
Signed-off-by: Robin Jarry <robin@jarry.cc>
Tested-by: Inwit <inwit@sindominio.net>
Diffstat (limited to 'contrib/linters.go')
0 files changed, 0 insertions, 0 deletions