comparison: plugins/win32/winprefs/winprefs.c
plugins/win32/winprefs/winprefs.c
- changeset 9795
- 80d4d3be52d7
- parent 9117
- c3e1c9cec1da
- child 9954
- 52a14a58a33e
equal
deleted
inserted
replaced
| 9794:d50122124d98 | 9795:80d4d3be52d7 |
|---|---|
| 22 * | 22 * |
| 23 */ | 23 */ |
| 24 #include <gdk/gdkwin32.h> | 24 #include <gdk/gdkwin32.h> |
| 25 | 25 |
| 26 #include "internal.h" | 26 #include "internal.h" |
| 27 #include "gtkinternal.h" | |
| 28 | 27 |
| 29 #include "core.h" | 28 #include "core.h" |
| 30 #include "prefs.h" | 29 #include "prefs.h" |
| 31 #include "debug.h" | 30 #include "debug.h" |
| 32 #include "signals.h" | 31 #include "signals.h" |
