Implements toolbar disabling.

2011-10-04 01:16:29 -03:00
parent b7bbe2c0b7
commit 9185883d30
24 changed files with 919 additions and 275 deletions
--- a/core-js/src/main/javascript/Monitor.js
+++ b/core-js/src/main/javascript/Monitor.js
@@ -47,10 +47,6 @@ core.Monitor = new Class({
        console.log(userMsg);
    },

-    logFatal : function(userMsg) {
-        this.logMessage(userMsg, core.Monitor.MsgKind.FATAL);
-    },
-
    logMessage : function(msg, msgKind) {
        if (!msgKind) {
            msgKind = core.Monitor.MsgKind.INFO;