Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-09-30 06:58:55 +01:00
Code Issues Packages Projects Releases Wiki Activity

title - custom window controls setting (#242986)

Browse Source
This commit is contained in:
Benjamin Pasero
2025-03-10 10:57:51 +01:00
committed by GitHub
parent c04ac5a5df
commit df54f43ef6
14 changed files with 208 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/vs/code/electron-sandbox/workbench/workbench.ts
+10 -6
View File
@@ -90,15 +90,19 @@
splash.className = baseTheme ?? 'vs-dark';
if (layoutInfo.windowBorder && colorInfo.windowBorder) {
splash.style.position = 'relative';
splash.style.height = 'calc(100vh - 2px)';
splash.style.width = 'calc(100vw - 2px)';
splash.style.border = `1px solid var(--window-border-color)`;
splash.style.setProperty('--window-border-color', colorInfo.windowBorder);
const borderElement = document.createElement('div');
borderElement.style.position = 'absolute';
borderElement.style.width = 'calc(100vw - 2px)';
borderElement.style.height = 'calc(100vh - 2px)';
borderElement.style.zIndex = '1'; // allow border above other elements
borderElement.style.border = `1px solid var(--window-border-color)`;
borderElement.style.setProperty('--window-border-color', colorInfo.windowBorder);
if (layoutInfo.windowBorderRadius) {
splash.style.borderRadius = layoutInfo.windowBorderRadius;
borderElement.style.borderRadius = layoutInfo.windowBorderRadius;
}
splash.appendChild(borderElement);
}
// ensure there is enough space