--- search/UIManager.cs.orig	2008-06-27 11:22:13.000000000 +0200
+++ search/UIManager.cs	2008-06-27 11:22:43.000000000 +0200
@@ -394,7 +394,7 @@
 			if (ScopeChanged == null)
 				return;
 
-			ScopeType scope = (ScopeType) System.Enum.Parse (typeof (ScopeType), ((Action) obj).Name);
+			ScopeType scope = (ScopeType) System.Enum.Parse (typeof (ScopeType), ((Gtk.Action) obj).Name);
 			
 			ScopeChanged (scope, ((ToggleAction) obj).Active);
 		}