3 commits

Author	SHA1	Message	Date
scrawl	e0d6670ac4	Move video skip detection to WindowManager ... Fixes a bug where skipping using Esc would not work if a mouse button had been pressed previously	2014-06-10 01:57:54 +02:00
scrawl	cefa20bfb9	Fix not reacting to quit request while video is playing	2014-06-05 15:52:02 +02:00
scrawl	5906d795c0	Refactored video player (now a MyGUI widget)	2014-03-27 19:10:15 +01:00