comparison gui/util/list.h @ 35605:71f19d352561

Fix bug with wrong video window size after end of fullscreen playback. (This is a regression introduced in r35572.) The normal size the window should have (media size or configured size) depends on the current state of playback. In order to influence the size, add a boolean parameter. This usually is True unless playback has stopped.
author ib
date Wed, 19 Dec 2012 13:58:06 +0000
parents 7d1d7f783975
children a5f7a861a293
comparison
equal deleted inserted replaced
35604:5be881b963ec 35605:71f19d352561