Tracking issue: https://github.com/zed-industries/zed/issues/18078 Release Notes: - Change tab bar height according to `ui-density` --------- Signed-off-by: Aaron Ruan <aaron212cn@outlook.com>
Tracking issue: https://github.com/zed-industries/zed/issues/18078 Release Notes: - Change tab bar height according to `ui-density` --------- Signed-off-by: Aaron Ruan <aaron212cn@outlook.com>