From 3b421b5d0b56a809cb1bfb5aa79656300cebd453 Mon Sep 17 00:00:00 2001 From: Liang Ding Date: Sun, 12 Oct 2014 13:40:07 +0800 Subject: [PATCH] #39 --- static/js/editors.js | 55 +++++++++++++++++++++++--------------------- static/js/hotkeys.js | 28 ++++++++++++++++------ static/js/wide.js | 39 +++++++++++++++++++++++++++++++ view/index.html | 4 ++++ 4 files changed, 93 insertions(+), 33 deletions(-) diff --git a/static/js/editors.js b/static/js/editors.js index 36961df..05b51b5 100644 --- a/static/js/editors.js +++ b/static/js/editors.js @@ -259,8 +259,7 @@ var editors = { return; } - var $usages = $('.bottom-window-group .search'), - usagesHTML = '