diff options
author | Akemi <der.richter@gmx.de> | 2016-12-11 23:35:48 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2016-12-12 12:10:10 +0100 |
commit | ed7e650d3a95a1d80d976ec4e2aa378e30c9db25 (patch) | |
tree | e19f8cabde8829039128e4913e8c78da8dc0441d /DOCS/man/options.rst | |
parent | 4399be5b624805ef70848ff010fb6ee6ad920e9f (diff) |
osx: update the menu and remove conflicting item
Remove 'Quit mpv & remember playback position'
from the menu because it conflicts with the global
logout shortcut. add separator between 'Hide' and
'Quit' for consistency with other Apps.
also rename the 'Movie' menu to 'Video'. it's a
bit more generic.
Fixes #3865
Diffstat (limited to 'DOCS/man/options.rst')
0 files changed, 0 insertions, 0 deletions