Wez Furlong 4ca7514029 gui: tighten up fancy tab bar to 1.75 line height ... Add bottom alignment for tabs and make them slightly shorter than the right status area; this avoids some pixel gaps.		2021-12-28 08:51:09 -07:00
..
src	gui: tighten up fancy tab bar to 1.75 line height	2021-12-28 08:51:09 -07:00
build.rs	ci: use consistent git core.abbrev setting for TAGNAME	2021-12-05 19:21:06 -07:00
Cargo.toml	deps: update pulldown_cmark, cargo update	2021-12-27 09:49:22 -07:00