devproje/project-client
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove unnecessary comma

Browse source
This commit is contained in:
Mars 2023-10-26 23:49:06 -04:00
parent 068b4071e8
commit 1c2eb26e2c
No known key found for this signature in database
GPG key ID: 874E22DF2F9DFCB5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/main/mainWindow.ts
View file

@ -289,7 +289,7 @@ function getWindowBoundsOptions(): BrowserWindowConstructorOptions {
function getDarwinOptions(): BrowserWindowConstructorOptions { function getDarwinOptions(): BrowserWindowConstructorOptions {
const options = { const options = {
titleBarStyle: "hidden", titleBarStyle: "hidden",
trafficLightPosition: { x: 9, y: 9 }, trafficLightPosition: { x: 9, y: 9 }
} as BrowserWindowConstructorOptions; } as BrowserWindowConstructorOptions;
const { splashTheming, splashBackground } = Settings.store; const { splashTheming, splashBackground } = Settings.store;