+ // FIXME: remove this barbarian log
+ window.parent.console.log("ctx_new.length: "+ctx_new.length+" ctx_old_len: "+ctx_old_len);
+ if (ctx_new.length == ctx_old_len && ctx_old_len > 0) {
+ // FIXME: remove this barbarian log
+ window.parent.console.log("NOW clean");
+ ctx_new = "";
+ ctx_old_len = 0;
+ }