From a9ebc772df8d90a36b772cdebf5d85e3670a54ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Lindqvist?= <bjourne@gmail.com>
Date: Mon, 29 Jan 2018 11:44:27 +0100
Subject: [PATCH] ui.backend.gtk: gtk_init terminates, better throw exception

---
 basis/ui/backend/gtk/gtk.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/ui/backend/gtk/gtk.factor b/basis/ui/backend/gtk/gtk.factor
index 32cdca039f..80d76cbc52 100644
--- a/basis/ui/backend/gtk/gtk.factor
+++ b/basis/ui/backend/gtk/gtk.factor
@@ -503,7 +503,7 @@ M:: gtk-ui-backend system-alert ( caption text -- )
     ] with-destructors ;
 
 M: gtk-ui-backend (with-ui)
-    f f gtk_init
+    f f gtk_init_check [ "Unable to initialize GTK" throw ] unless
     f f gtk_gl_init
     load-icon
     init-clipboard