diff options
Diffstat (limited to 'multimedia/gnome-mplayer/files/patch-src_playlist.h')
| -rw-r--r-- | multimedia/gnome-mplayer/files/patch-src_playlist.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/multimedia/gnome-mplayer/files/patch-src_playlist.h b/multimedia/gnome-mplayer/files/patch-src_playlist.h new file mode 100644 index 000000000000..78cb77ff41c7 --- /dev/null +++ b/multimedia/gnome-mplayer/files/patch-src_playlist.h @@ -0,0 +1,13 @@ +--- src/playlist.h.orig 2014-04-24 03:38:08 UTC ++++ src/playlist.h +@@ -29,8 +29,8 @@ + #include <glib.h> + #include <glib/gstdio.h> + +-GtkWidget *plclose; +-gint window_width, window_height; ++extern GtkWidget *plclose; ++extern gint window_width, window_height; + + void update_gui(); + void menuitem_view_playlist_callback(GtkMenuItem * menuitem, void *data); |