chore(api): document new options from #6665 (#7072)

This commit is contained in:
Lucas Fernandes Nogueira 2023-05-27 04:39:37 -07:00 committed by GitHub
parent 27c5f364a8
commit 3303041c92
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 1 deletions

File diff suppressed because one or more lines are too long

View File

@ -2391,6 +2391,18 @@ interface WindowOptions {
* The user agent for the webview.
*/
userAgent?: string
/**
* Whether the window's native maximize button is enabled or not. Defaults to `true`.
*/
maximizable?: boolean
/**
* Whether the window's native minimize button is enabled or not. Defaults to `true`.
*/
minimizable?: boolean
/**
* Whether the window's native close button is enabled or not. Defaults to `true`.
*/
closable?: boolean
}
function mapMonitor(m: Monitor | null): Monitor | null {