diff options
Diffstat (limited to 'player/lua/osc.lua')
| -rw-r--r-- | player/lua/osc.lua | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/player/lua/osc.lua b/player/lua/osc.lua index f2485700b3..c4f6350a0c 100644 --- a/player/lua/osc.lua +++ b/player/lua/osc.lua @@ -1876,6 +1876,15 @@ mp.observe_property("fullscreen", "bool", function(name, val) state.fullscreen = mp.observe_property("pause", "bool", pause_state) mp.observe_property("cache-idle", "bool", cache_state) +mp.observe_property("disc-menu-active", "bool", function(name, val) + if val == true then + hide_osc() + mp.disable_key_bindings("showhide") + else + mp.enable_key_bindings("showhide") + end +end) + -- mouse show/hide bindings mp.set_key_bindings({ {"mouse_move", function(e) process_event("mouse_move", nil) end}, |