diff options
| author | wm4 <wm4@nowhere> | 2015-01-16 23:38:47 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2015-01-16 23:38:47 +0100 |
| commit | eb5a83e1c110234b3e835b7a76d83e1ddaa7bfb5 (patch) | |
| tree | 16189fc460f5f2fb5cc9920a8d1e72a0e18f7fcc /DOCS | |
| parent | 5649658c4e12eb98af9da3a21b644c40cd1b2313 (diff) | |
| download | mpv-eb5a83e1c110234b3e835b7a76d83e1ddaa7bfb5.tar.bz2 mpv-eb5a83e1c110234b3e835b7a76d83e1ddaa7bfb5.tar.xz | |
x11: add --on-all-workspaces option and property
Fixes #1469.
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/man/input.rst | 3 | ||||
| -rw-r--r-- | DOCS/man/options.rst | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/DOCS/man/input.rst b/DOCS/man/input.rst index 2751c7348f..4ec29ba62d 100644 --- a/DOCS/man/input.rst +++ b/DOCS/man/input.rst @@ -1066,6 +1066,9 @@ Property list ``border`` (RW) See ``--border``. +``on-all-workspaces`` (RW) + See ``--on-all-workspaces``. Unsetting may not work on all WMs. + ``framedrop`` (RW) See ``--framedrop``. diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index b8d521eca6..ce57228c41 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -1548,6 +1548,10 @@ Window Play video with window border and decorations. Since this is on by default, use ``--no-border`` to disable the standard window decorations. +``--on-all-workspaces`` + (X11 only) + Show the video window on all virtual desktops. + ``--geometry=<[W[xH]][+-x+-y]>``, ``--geometry=<x:y>`` Adjust the initial window position or size. ``W`` and ``H`` set the window size in pixels. ``x`` and ``y`` set the window position, measured in pixels |