miruka 2fb4ad5eae Improve timeline GIF auto-pausing
Pause when any popup is covering the timeline (image viewer or not), and
work when opened by ctrl+o, not just when clicking the thumbnail.
2020-07-20 19:51:35 -04:00
..
2020-07-20 19:39:31 -04:00
2020-03-15 19:08:12 -04:00
2020-07-20 19:51:35 -04:00
2020-07-20 19:39:31 -04:00