Add extra pixel to titlebar on Windows 11

This commit is contained in:
Fedor Indutny 2022-06-15 11:21:03 -07:00 committed by GitHub
parent 4b8cb9f040
commit 8b32811440
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
26 changed files with 139 additions and 53 deletions

View file

@ -28,7 +28,7 @@ import { createSetting } from '../util/preload';
import { initialize as initializeLogging } from '../logging/set_up_renderer_logging';
import { waitForSettingsChange } from './waitForSettingsChange';
import { createNativeThemeListener } from '../context/createNativeThemeListener';
import { isWindows, isLinux, isMacOS } from '../OS';
import { isWindows, isWindows11, isLinux, isMacOS } from '../OS';
const params = new URLSearchParams(document.location.search);
const configParam = params.get('config');
@ -63,7 +63,9 @@ export type SignalContextType = {
waitForChange: () => Promise<void>;
};
OS: {
platform: string;
isWindows: typeof isWindows;
isWindows11: typeof isWindows11;
isLinux: typeof isLinux;
isMacOS: typeof isMacOS;
};
@ -89,7 +91,9 @@ export const SignalContext: SignalContextType = {
waitForChange: waitForSettingsChange,
},
OS: {
platform: process.platform,
isWindows,
isWindows11,
isLinux,
isMacOS,
},