diff options
author | Kacper Michajłow <kasper93@gmail.com> | 2023-08-22 00:12:33 +0200 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2023-09-21 23:13:19 +0000 |
commit | 804eb80e78337f5a60080acc1bbbc8a754060a1e (patch) | |
tree | 71151181394a29db83970e5067a4597bb6afb6bb /DOCS/man/options.rst | |
parent | 0d457ffc40604c4cf57c87fa62ca588735afd714 (diff) | |
download | mpv-804eb80e78337f5a60080acc1bbbc8a754060a1e.tar.bz2 mpv-804eb80e78337f5a60080acc1bbbc8a754060a1e.tar.xz |
win32: add --window-corners
Allows to set preference for window corners rounding for DWM.
Diffstat (limited to 'DOCS/man/options.rst')
-rw-r--r-- | DOCS/man/options.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 8e59ac1dbc..20ba4f8552 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -3131,6 +3131,15 @@ Window Focus the video window on creation and makes it the front most window. This is on by default. +``--window-corners=<default|donotround|round|roundsmall>`` + (Windows only) + Set the preference for window corner rounding. + + :default: Let the system decide whether or not to round window corners + :donotround: Never round window corners + :round: Round the corners if appropriate + :roundsmall: Round the corners if appropriate, with a small radius + ``--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. |