prettify error message when not logged in

1 files changed, 10 insertions, 0 deletions

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) {