From d3990d1eeb78b88254b0c806edc7b9c5cc162ebd Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 29 Mar 2016 20:52:49 -0700 Subject: [PATCH] ui.backend.gtk: simplify. --- basis/ui/backend/gtk/gtk.factor | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/basis/ui/backend/gtk/gtk.factor b/basis/ui/backend/gtk/gtk.factor index a10ad511c5..5603f85245 100644 --- a/basis/ui/backend/gtk/gtk.factor +++ b/basis/ui/backend/gtk/gtk.factor @@ -14,8 +14,7 @@ IN: ui.backend.gtk SINGLETON: gtk-ui-backend -TUPLE: handle ; -TUPLE: window-handle < handle window fullscreen? im-context ; +TUPLE: window-handle window fullscreen? im-context ; : ( window im-context -- window-handle ) window-handle new @@ -486,7 +485,8 @@ M: gtk-ui-backend (close-window) ( handle -- ) window>> [ gtk_widget_destroy ] [ unregister-window ] bi event-loop? [ gtk_main_quit ] unless ; -M: gtk-ui-backend resize-window [ handle>> window>> ] [ first2 ] bi* gtk_window_resize ; +M: gtk-ui-backend resize-window + [ handle>> window>> ] [ first2 ] bi* gtk_window_resize ; M: gtk-ui-backend set-title swap [ handle>> window>> ] [ utf8 string>alien ] bi* @@ -547,7 +547,7 @@ M: gtk-ui-backend (with-ui) ] with-destructors ] ui-running ; -os unix? os macosx? not and [ +os linux? [ gtk-ui-backend ui-backend set-global ] when