From f5e80f2bbc1b64c40c8cd5c2419557d453ea3fb3 Mon Sep 17 00:00:00 2001 From: benweet Date: Fri, 13 Sep 2013 00:25:25 +0100 Subject: [PATCH] Switch to ACE editor --- index.html | 2 +- res/classes/Extension.js | 3 +- res/config.js | 1 + res/core.js | 162 +++++++++++++++++++---------- res/eventMgr.js | 6 +- res/extensions/buttonFocusMode.js | 60 +++++++++++ res/extensions/documentSelector.js | 8 +- res/extensions/focusMode.js | 48 --------- res/extensions/scrollLink.js | 2 +- res/extensions/welcomeTour.js | 4 +- res/html/bodyIndex.html | 9 ++ res/main.js | 15 ++- res/settings.js | 1 + res/styles/main.less | 53 ++++++---- res/utils.js | 2 +- viewer.html | 2 +- 16 files changed, 242 insertions(+), 136 deletions(-) create mode 100644 res/extensions/buttonFocusMode.js delete mode 100644 res/extensions/focusMode.js diff --git a/index.html b/index.html index 1d603083..7b69fb26 100644 --- a/index.html +++ b/index.html @@ -14,7 +14,7 @@