diff options
| author | wm4 <wm4@nowhere> | 2014-09-22 00:25:59 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-09-22 00:25:59 +0200 |
| commit | 14ff4cf318d2f01f98eab8f0541eabfbcf8f6943 (patch) | |
| tree | bb26841ce2370d22498f57829f1df74ba79b1323 /player/core.h | |
| parent | 709002a3b26c653c82b5a44a21feaaaecadd277e (diff) | |
| download | mpv-14ff4cf318d2f01f98eab8f0541eabfbcf8f6943.tar.bz2 mpv-14ff4cf318d2f01f98eab8f0541eabfbcf8f6943.tar.xz | |
command: improve "osd" command
Be less annoying, print the actual OSD level instead of something
meaningless, but still clear the OSD if OSD level 0 (no OSD) is set.
Remove the special handling for terminal OSD, that was just dumb.
Diffstat (limited to 'player/core.h')
| -rw-r--r-- | player/core.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/player/core.h b/player/core.h index d9d7798faf..11421ce485 100644 --- a/player/core.h +++ b/player/core.h @@ -85,7 +85,6 @@ enum mp_osd_seek_info { enum { // other constants MAX_OSD_LEVEL = 3, - MAX_TERM_OSD_LEVEL = 1, OSD_LEVEL_INVISIBLE = 4, OSD_BAR_SEEK = 256, |