diff options
author | Akemi <der.richter@gmx.de> | 2018-02-16 13:07:15 +0100 |
---|---|---|
committer | Kevin Mitchell <kevmitch@gmail.com> | 2018-02-28 00:48:44 -0800 |
commit | 938ad6ebc037ebb32b41619a31b15f8ade712867 (patch) | |
tree | fc8c27e6c73f79a75de42032dabdd3650ef54601 /DOCS/man | |
parent | a4c436bac26cc9a6f257764bbb268adde8ef8496 (diff) | |
download | mpv-938ad6ebc037ebb32b41619a31b15f8ade712867.tar.bz2 mpv-938ad6ebc037ebb32b41619a31b15f8ade712867.tar.xz |
cocoa-cb: change border and borderless window styling
the title bar is now within the window bounds instead of outside. same
as QuickTime Player. it supports several standard styles, two dark and
two light ones. additionally we have properly rounded corners now and
the borderless window also has the proper window shadow.
Also make the earliest supported macOS version 10.10.
Fixes #4789, #3944
Diffstat (limited to 'DOCS/man')
-rw-r--r-- | DOCS/man/options.rst | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 1a5af8121a..2a2ca665c3 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -4852,6 +4852,18 @@ The following video options are currently all specific to ``--vo=gpu`` and OS X only. +``--macos-title-bar-style=<dark|ultradark|light|mediumlight|auto>`` + Sets the styling of the title bar (default: dark). + OS X and cocoa-cb only + + :dark: Dark title bar with vibrancy, a subtle blurring effect that + dynamically blends the background (Video) into the title bar. + :ultradark: Darker title bar with vibrancy (like QuickTime Player). + :light: Bright title bar with vibrancy. + :mediumlight: Less bright title bar with vibrancy. + :auto: Detects the system settings and sets the title bar styling + appropriately, either ultradark or mediumlight. + ``--android-surface-size=<WxH>`` Set dimensions of the rendering surface used by the Android gpu context. Needs to be set by the embedding application if the dimensions change during |