ui.backend.gtk: set the source priority to idle, fixes #1879

diff --git a/basis/ui/backend/gtk/gtk.factor b/basis/ui/backend/gtk/gtk.factor
index e82edeb5605da3c86748088384547626ad29871b..0db4697367bbd7172ddf4ec6b134f7bb9cb1460c 100644 (file)
--- a/basis/ui/backend/gtk/gtk.factor
+++ b/basis/ui/backend/gtk/gtk.factor
@@ -77,6 +77,7 @@ M: gtk-clipboard set-clipboard-contents
 :: with-timer ( quot -- )
     <timer-funcs> &free
     GSource heap-size g_source_new &g_source_unref :> source
+    source G_PRIORITY_DEFAULT_IDLE g_source_set_priority
     source f g_source_attach drop
     [ quot call( -- ) ]
     [ source g_source_destroy ] [ ] cleanup ;