# HG changeset patch
# User William Pitcock <nenolod@atheme.org>
# Date 1193930209 18000
# Node ID cc4781a8781d68922b027e6b95ab5e4fa5936616
# Parent  dd5c459c5f2d8ceeb315b5aa26a3152bbfccce54
disable the plugin reloading option. if you need it for devel, just revert this changeset.

diff -r dd5c459c5f2d -r cc4781a8781d src/audacious/glade/prefswin.glade
--- a/src/audacious/glade/prefswin.glade	Sun Oct 28 09:19:29 2007 -0500
+++ b/src/audacious/glade/prefswin.glade	Thu Nov 01 10:16:49 2007 -0500
@@ -4698,7 +4698,6 @@
 
 	      <child>
 		<widget class="GtkButton" id="reload_plugins">
-		  <property name="visible">True</property>
 		  <property name="can_default">True</property>
 		  <property name="can_focus">True</property>
 		  <property name="relief">GTK_RELIEF_NORMAL</property>