diff options
author | Akemi <der.richter@gmx.de> | 2017-02-13 20:08:43 +0100 |
---|---|---|
committer | Akemi <der.richter@gmx.de> | 2017-02-13 22:49:11 +0100 |
commit | 64b0d81c32d90fe29485bdb218fb76608b9aa31b (patch) | |
tree | cff0ad349d3d85e8207c5c05b3fcbbe21657fd96 /DOCS | |
parent | 34b7d523173a0db0f04fa6904f816e0033662802 (diff) | |
download | mpv-64b0d81c32d90fe29485bdb218fb76608b9aa31b.tar.bz2 mpv-64b0d81c32d90fe29485bdb218fb76608b9aa31b.tar.xz |
cocoa: add --ontop-level option for modifying ontop window level
since there are different views on what ontop is, we make the ontop
window level modifiable. at the moment only support for macOS was added.
the default for macOS was changed from 'system' to 'window' since this
fixes an unwanted behaviour in fullscreen and in general causes less
issues with expected behaviour.
Fixes #2376 #3974
Diffstat (limited to 'DOCS')
-rw-r--r-- | DOCS/man/options.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index af9a3b913d..6c83c49a0f 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -2130,6 +2130,14 @@ Window treated as exclusive fullscreen window that bypasses the Desktop Window Manager. +``--ontop-level=<window|system|level>`` + (OS X only) + Sets the level of an ontop window (default: window). + + :window: On top of all other windows. + :system: On top of system elements like Taskbar, Menubar and Dock. + :level: A level as integer. + ``--border``, ``--no-border`` Play video with window border and decorations. Since this is on by default, use ``--no-border`` to disable the standard window decorations. |