diff --git a/public/cache.manifest b/public/cache.manifest index 73be20cf..1e23a157 100644 --- a/public/cache.manifest +++ b/public/cache.manifest @@ -1,5 +1,5 @@ CACHE MANIFEST -#Date Mon Oct 14 2013 00:50:07 +#Date Tue Oct 15 2013 00:32:38 CACHE: index.html diff --git a/public/res-min/main.js b/public/res-min/main.js index 01cd9490..e2050bbb 100644 --- a/public/res-min/main.js +++ b/public/res-min/main.js @@ -20594,7 +20594,7 @@ if (hljs.LANGUAGES.glsl = function(e) { m = !1, p = o; var r = n(o, d, u); r = t.min([ r, s.session.getScreenLength() * s.renderer.lineHeight - s.renderer.$size.scrollerHeight ]), - Math.abs(r - i) <= 9 ? h = i : (v = !0, e("
").animate({ + 0 > r && (r = 0), Math.abs(r - i) <= 9 ? h = i : (v = !0, e("
").animate({ value: r - i }, { easing: "easeOutSine", @@ -21863,11 +21863,9 @@ if (hljs.LANGUAGES.glsl = function(e) { }, f.onSaveSettings = function(e) { e.locale = i.getInputValue("#select-spell-check-locale"); }; - var g = new Worker("res/worker.js"); - g.postMessage(l); - var m = !1; + var g = void 0, m = !1; f.onInit = function() { - require([ "text!../libs/dictionaries/" + f.config.locale + ".dic.lz", "text!../libs/dictionaries/" + f.config.locale + ".aff.lz" ], function(e, t) { + g = new Worker("res/worker.js"), g.postMessage(l), require([ "text!../libs/dictionaries/" + f.config.locale + ".dic.lz", "text!../libs/dictionaries/" + f.config.locale + ".aff.lz" ], function(e, t) { g.postMessage(JSON.stringify([ "init", s, a, f.config.locale, t, e ])), m = !0, p(); }); diff --git a/public/res/extensions/scrollLink.js b/public/res/extensions/scrollLink.js index b95fb8dd..b706ca5d 100644 --- a/public/res/extensions/scrollLink.js +++ b/public/res/extensions/scrollLink.js @@ -149,6 +149,8 @@ define([ destScrollTop, aceEditor.session.getScreenLength() * aceEditor.renderer.lineHeight - aceEditor.renderer.$size.scrollerHeight ]); + // If negative, set it to zero + destScrollTop < 0 && (destScrollTop = 0); if(Math.abs(destScrollTop - editorScrollTop) <= 9) { // Skip the animation if diff is <= 9 lastEditorScrollTop = editorScrollTop; diff --git a/public/res/extensions/spellCheck.js b/public/res/extensions/spellCheck.js index c99ec558..04f49b9c 100644 --- a/public/res/extensions/spellCheck.js +++ b/public/res/extensions/spellCheck.js @@ -25,12 +25,12 @@ define([ newConfig.locale = utils.getInputValue("#select-spell-check-locale"); }; - // Create a web worker - var worker = new Worker('res/worker.js'); - worker.postMessage(spellCheckWorkerJS); - + var worker = undefined; var isInited = false; spellCheck.onInit = function() { + // Create a web worker + worker = new Worker('res/worker.js'); + worker.postMessage(spellCheckWorkerJS); require([ 'text!../libs/dictionaries/' + spellCheck.config.locale + '.dic.lz', 'text!../libs/dictionaries/' + spellCheck.config.locale + '.aff.lz',