diff options
author | Evgeny Zinoviev <me@ch1p.io> | 2021-02-20 23:07:58 +0300 |
---|---|---|
committer | der richter <der.richter@gmx.de> | 2021-02-21 13:38:53 +0100 |
commit | a4204be50f0f4cf14f322ffaa2345e9c0e8ff2e9 (patch) | |
tree | 05535111120ef62c78721883e2ac8778ab574c2e /player | |
parent | f913570aada74df0e56b3224bfe9f712c95789d1 (diff) | |
download | mpv-a4204be50f0f4cf14f322ffaa2345e9c0e8ff2e9.tar.bz2 mpv-a4204be50f0f4cf14f322ffaa2345e9c0e8ff2e9.tar.xz |
command: add label for on-all-workspaces command
Diffstat (limited to 'player')
-rw-r--r-- | player/command.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/player/command.c b/player/command.c index 4d247e98ce..f28bd120be 100644 --- a/player/command.c +++ b/player/command.c @@ -3917,6 +3917,7 @@ static const struct property_osd_display { {"taskbar-progress", "Progress in taskbar"}, {"snap-window", "Snap to screen edges"}, {"ontop", "Stay on top"}, + {"on-all-workspaces", "Visibility on all workspaces"}, {"border", "Border"}, {"framedrop", "Framedrop"}, {"deinterlace", "Deinterlace"}, |