# HG changeset patch # User arpi # Date 1036942286 0 # Node ID 64c21a33ce31711463b28b92945dc0a56bb426e9 # Parent ca825957ed0259c5c100a8333758ee9cb0f9898b 10l - found by Jerome De Greef (fixes gui seekbar jumping) diff -r ca825957ed02 -r 64c21a33ce31 Gui/mplayer/mw.c --- a/Gui/mplayer/mw.c Sun Nov 10 13:58:46 2002 +0000 +++ b/Gui/mplayer/mw.c Sun Nov 10 15:31:26 2002 +0000 @@ -9,6 +9,7 @@ #include "../app.h" #include "../skin/font.h" +#include "../skin/skin.h" #include "../wm/ws.h" #include "../../config.h"