From b0a36807d84e5328c24d5fe09e324ae63eb0c7fb Mon Sep 17 00:00:00 2001 From: Jed Fox Date: Fri, 8 Apr 2022 10:13:57 -0400 Subject: [PATCH] Fix title bar height --- modules/activity-bar.js | 2 +- modules/title-bar.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/modules/activity-bar.js b/modules/activity-bar.js index 6409e07..cc0b313 100644 --- a/modules/activity-bar.js +++ b/modules/activity-bar.js @@ -25,7 +25,7 @@ define([ let trafficLightDimensions = function () { let size = { width: 77, - height: 37, + height: 38, } return { width: size.width / browser.getZoomFactor(), diff --git a/modules/title-bar.js b/modules/title-bar.js index 64063d8..b719ed9 100644 --- a/modules/title-bar.js +++ b/modules/title-bar.js @@ -66,7 +66,7 @@ define([ trafficLightDimensions() { let size = { width: 77, - height: 37, + height: 38, } return { width: size.width / browser.getZoomFactor(),