ui.backend.gtk: set 'wmclass' hint to 'Factor' for new windows

diff --git a/basis/ui/backend/gtk/gtk.factor b/basis/ui/backend/gtk/gtk.factor
index c73c66f4c2d24de4846b888b5e5db11e65a6299f..a691db6383a07748276837e14eaa776df747e97c 100644 (file)
--- a/basis/ui/backend/gtk/gtk.factor
+++ b/basis/ui/backend/gtk/gtk.factor
@@ -316,8 +316,6 @@ M: gtk-ui-backend (with-ui)
     win "delete-event" [ on-delete yield ]
     GtkWidget:delete-event connect-signal ;
 
-! ----------------------
-
 GENERIC: support-input-methods? ( gadget -- ? )
 GENERIC: get-cursor-surrounding ( gadget -- text cursor-pos )
 GENERIC: delete-cursor-surrounding ( offset count gadget -- )
@@ -335,15 +333,11 @@ M: editor delete-cursor-surrounding
     3drop ;
 
 M: editor set-preedit-string
-    nip dup [ editor-caret ] keep
-    [ user-input* drop ] 2dip
-    set-caret ;
+    3drop ;
 
 M: editor get-cursor-loc&dim
     [ caret-loc ] [ caret-dim ] bi ;
 
-! ----------------------
-
 : on-retrieve-surrounding ( im-context win -- ? )
     window world-focus dup support-input-methods? [
         get-cursor-surrounding [ utf8 string>alien -1 ] dip
@@ -481,6 +475,9 @@ M:: gtk-ui-backend (open-window) ( world -- )
     
     win world [ window-loc>> auto-position ]
     [ dim>> first2 gtk_window_set_default_size ] 2bi
+
+    win "factor" "Factor" [ utf8 string>alien ] bi@
+    gtk_window_set_wmclass
     
     world setup-gl drop