$OpenBSD: patch-src_gtk2_gui_guiServers_ml,v 1.1 2009/11/09 16:21:55 giovanni Exp $

fix switching server preferred status in gtk2 gui

--- src/gtk2/gui/guiServers.ml.orig	Sat Nov  3 16:04:51 2007
+++ src/gtk2/gui/guiServers.ml	Fri Nov  6 03:35:12 2009
@@ -356,7 +356,7 @@ class g_server () =
              (fun path ->
                 try
                   let iter = self#get_iter path in
-                  let k = self#find_key iter in
+                  let k = self#find_model_key iter in
                   let s = server_of_key k in
                   GuiCom.send (ServerSetPreferred (server_num k, not s.server_preferred));
                   let row = self#convert_iter_to_child_iter iter in
