steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

db4
Anton Gorenko 2010-09-12 13:43:20 +06:00
parent 6ef16684e5
commit 8812052ba9
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
basis/ui/backend/gtk/gtk.factor
View File

@ -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