mirror of
https://github.com/TeamNewPipe/NewPipe
synced 2025-11-01 15:52:59 +00:00
Added some doc
This commit is contained in:
@@ -227,7 +227,7 @@ public class PlayerGestureListener
|
||||
if (player.isControlsVisible() && player.getCurrentState() == STATE_PLAYING) {
|
||||
player.hideControls(DEFAULT_CONTROLS_DURATION, DEFAULT_CONTROLS_HIDE_TIME);
|
||||
}
|
||||
} else {
|
||||
} else /* Popup-Player */ {
|
||||
if (player.isControlsVisible() && player.getCurrentState() == STATE_PLAYING) {
|
||||
player.hideControls(DEFAULT_CONTROLS_DURATION, DEFAULT_CONTROLS_HIDE_TIME);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user