diff options
author | frantic1048 | 2022-11-23 21:57:12 +0800 |
---|---|---|
committer | frantic1048 | 2022-11-23 22:25:10 +0800 |
commit | e7171b503387d0f0f0635a7972a3993f0a276d5c (patch) | |
tree | f1a4560918f88b464ff91dbd9b07f794ef951089 /transparent.diff | |
parent | 69235f3410834ae5d1fcd0abdc54d3be6a547230 (diff) | |
download | aur-code-transparent.tar.gz |
upgpkg: code-transparent 1.73.1-1
upstream release
upgpkg: code-transparent 1.73.1-1
upstream release
Diffstat (limited to 'transparent.diff')
-rw-r--r-- | transparent.diff | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/transparent.diff b/transparent.diff index 1f50b796840a..703d3134cf43 100644 --- a/transparent.diff +++ b/transparent.diff @@ -45,10 +45,10 @@ index 189811d6fdf..d10bd05bced 100644 } getWindowSplash(): IPartsSplash | undefined { -diff --git a/src/vs/platform/windows/electron-main/window.ts b/src/vs/platform/windows/electron-main/window.ts ---- a/src/vs/platform/windows/electron-main/window.ts -+++ b/src/vs/platform/windows/electron-main/window.ts -@@ -157,7 +157,8 @@ width: this.windowState.width, +diff --git a/src/vs/platform/windows/electron-main/windowImpl.ts b/src/vs/platform/windows/electron-main/windowImpl.ts +--- a/src/vs/platform/windows/electron-main/windowImpl.ts ++++ b/src/vs/platform/windows/electron-main/windowImpl.ts +@@ -208,7 +208,8 @@ width: this.windowState.width, height: this.windowState.height, x: this.windowState.x, y: this.windowState.y, @@ -57,7 +57,7 @@ diff --git a/src/vs/platform/windows/electron-main/window.ts b/src/vs/platform/w + backgroundColor: '#00000000' || this.themeMainService.getBackgroundColor(), minWidth: WindowMinimumSize.WIDTH, minHeight: WindowMinimumSize.HEIGHT, - show: !isFullscreenOrMaximized, + show: !isFullscreenOrMaximized, // reduce flicker by showing later diff --git a/src/vs/workbench/common/theme.ts b/src/vs/workbench/common/theme.ts --- a/src/vs/workbench/common/theme.ts 2020-04-21 11:28:02.140938188 +0800 +++ b/src/vs/workbench/common/theme.ts 2020-04-21 11:36:36.133491755 +0800 |