Merge pull request #1226 from ajaxorg/options

better way for managing options
This commit is contained in:
Lennart Kats 2013-02-14 00:57:08 -08:00
commit 36554a61ca
11 changed files with 379 additions and 233 deletions

View file

@ -9,14 +9,14 @@ var StatusBar = function(editor, parentNode) {
this.element.style.cssText = "color: gray; position:absolute; right:0; border-left:1px solid";
parentNode.appendChild(this.element);
var statusUpdate = lang.deferredCall(function(){
var statusUpdate = lang.delayedCall(function(){
this.updateStatus(editor)
}.bind(this));
editor.on("changeStatus", function() {
statusUpdate.schedule(50);
statusUpdate.schedule(100);
});
editor.on("changeSelection", function() {
statusUpdate.schedule(50);
statusUpdate.schedule(100);
});
};