]> gitweb.factorcode.org Git - factor.git/commit
ui.backend.gtk: set the source priority to idle, fixes #1879
authorBjörn Lindqvist <bjourne@gmail.com>
Thu, 18 Jan 2018 22:24:48 +0000 (23:24 +0100)
committerBjörn Lindqvist <bjourne@gmail.com>
Thu, 18 Jan 2018 22:25:30 +0000 (23:25 +0100)
commit09d3f243ef330dfa80a9f01d96966f8cac038400
tree7420b130cfd3d25984ede142a6851f299cc2100a
parentd6fd4215d283311ec6232858ce27f82366cec6f1
ui.backend.gtk: set the source priority to idle, fixes #1879
basis/ui/backend/gtk/gtk.factor