From 8812052ba9b855ba03a3cddc5c596f2b6149c9c3 Mon Sep 17 00:00:00 2001 From: Anton Gorenko Date: Sun, 12 Sep 2010 13:43:20 +0600 Subject: [PATCH] ui.backend.gtk: set 'wmclass' hint to 'Factor' for new windows --- basis/ui/backend/gtk/gtk.factor | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/basis/ui/backend/gtk/gtk.factor b/basis/ui/backend/gtk/gtk.factor index c73c66f4c2..a691db6383 100644 --- 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