Wez Furlong 808d7df8d4 gui: fixup tab bar height issue ... In https://github.com/wez/wezterm/pull/1779#issuecomment-1082058134 we discuss a weird case where the tab bar height is computed as 0 and then gets stuck at 0. What's happening is that the initial `TabBarState::default()` value has no items yet, and `build_fancy_tab` generates an area that occupies 0 pixels. This computed element is cached, and then the height from that is cached. When `invalidate_fancy_tab` is called, it didn't invalidate the cached height and the resultant metrics were wonky. One possible fix for this was to also invalidate the cached height, but since that height is already stored in the built fancy tab, we can remove that derived-cached value in favor of just passing down the value. refs: https://github.com/wez/wezterm/pull/1779		2022-03-30 07:03:14 -07:00
..
src	gui: fixup tab bar height issue	2022-03-30 07:03:14 -07:00
build.rs	Improve RESIZE window_decoration on Windows	2022-03-26 07:27:54 -07:00
Cargo.toml	Use newer windows crate	2022-03-11 07:40:39 -08:00