mirror of
https://github.com/wez/wezterm.git
synced 2024-11-27 02:25:28 +03:00
bd02d33bf5
The tab bar height could vary by a couple of pixels depending on the text shown inside it, which results in visual jitter as the title bar changes. Avoid that: always return our constant reserved amount of space for the tab bar, even if it means that there are a couple of pixels "wasted". cc: @davidrios |
||
---|---|---|
.. | ||
src | ||
build.rs | ||
Cargo.toml |