comparison Gui/mplayer/widgets.h @ 9380:edfe34c5405d

linux->osdep
author arpi
date Sun, 09 Feb 2003 20:18:23 +0000
parents e5dda05f9aab
children 0e1471d9da74
comparison
equal deleted inserted replaced
9379:475bb1a6ef75 9380:edfe34c5405d
6 #include <stdlib.h> 6 #include <stdlib.h>
7 #include <gdk/gdkkeysyms.h> 7 #include <gdk/gdkkeysyms.h>
8 #include <gtk/gtk.h> 8 #include <gtk/gtk.h>
9 9
10 #include "../../config.h" 10 #include "../../config.h"
11 #include "../../linux/shmem.h" 11 #include "../../osdep/shmem.h"
12 #include "play.h" 12 #include "play.h"
13 #include "mplayer.h" 13 #include "mplayer.h"
14 #include "../interface.h" 14 #include "../interface.h"
15 #include "../wm/ws.h" 15 #include "../wm/ws.h"
16 16