# HG changeset patch
# User William Pitcock <nenolod@atheme.org>
# Date 1206836631 18000
# Node ID dae64d9d2759951627311a152500e775e280e9f8
# Parent  87df15baba2667ac88a23bbe76aa8380e85a4dd4
Use GTK's built in double buffering support.

diff -r 87df15baba26 -r dae64d9d2759 src/audacious/ui_skinned_playlist.c
--- a/src/audacious/ui_skinned_playlist.c	Sat Mar 29 19:19:29 2008 -0500
+++ b/src/audacious/ui_skinned_playlist.c	Sat Mar 29 19:23:51 2008 -0500
@@ -182,6 +182,7 @@
     priv->skin_index = SKIN_PLEDIT;
 
     gtk_fixed_put(GTK_FIXED(fixed), GTK_WIDGET(hs), hs->x, hs->y);
+    gtk_widget_set_double_buffered(GTK_WIDGET(hs), TRUE);
 
     return GTK_WIDGET(hs);
 }