From 6c49b91f05262e4ce4ce992e0ab8d5275c0ef0bd Mon Sep 17 00:00:00 2001
From: Gubolin <gubolin@fantasymail.de>
Date: Sat, 2 Aug 2014 10:27:11 +0200
Subject: prettify error message when not logged in

---
 gui.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index cbc3353..843f1ef 100644
--- a/gui.js
+++ b/gui.js
@@ -268,6 +268,16 @@ IDE_Morph.prototype.openIn = function (world) {
         }, 2000);
     };
 
+    GitHub.message = function (string) {
+        var m = new MenuMorph(null, string),
+            intervalHandle;
+        m.popUpCenteredInWorld(world);
+        intervalHandle = setInterval(function () {
+            m.destroy();
+            clearInterval(intervalHandle);
+        }, 2000);
+    };
+
     // prevent non-DialogBoxMorphs from being dropped
     // onto the World in user-mode
     world.reactToDropOf = function (morph) {
-- 
cgit v1.3.1