Merge pull request #8811 from zhoro/dev/highlights

This commit is contained in:
Eugene 2023-08-09 22:51:38 +02:00 committed by GitHub
commit d6705c20ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -392,14 +392,15 @@ export class Window {
return
}
const symbolColor: string = theme.foreground
this.window.setTitleBarOverlay(
{
symbolColor: symbolColor,
height: 32,
},
)
if (process.platform === 'win32') {
const symbolColor: string = theme.foreground
this.window.setTitleBarOverlay(
{
symbolColor: symbolColor,
height: 32,
},
)
}
})
ipcMain.on('window-set-title', (event, title) => {