diff m_option.c @ 33959:ef089a8affc6

Perform a wsHandleEvents() when playback ends. This fixes a redraw problem with the subwindow (video window) image that could appear twice (on a wrong position).
author ib
date Thu, 01 Sep 2011 19:14:11 +0000
parents f242acd22d93
children cf2a4f4cac0e
line wrap: on
line diff