diff --git a/static/js/hotkeys.js b/static/js/hotkeys.js index 039280b..175ae0d 100644 --- a/static/js/hotkeys.js +++ b/static/js/hotkeys.js @@ -216,7 +216,7 @@ var hotkeys = { var hotKeys = hotkeys.defaultKeyMap; if (event.ctrlKey === hotKeys.clearWindow.ctrlKey - && event.which === hotKeys.clearWindow.which) { // Ctrl-F 搜索 + && event.which === hotKeys.clearWindow.which) { // Ctrl-C clear output bottomGroup.clear('output'); return; } diff --git a/views/index.html b/views/index.html index f6319e6..2a0833e 100644 --- a/views/index.html +++ b/views/index.html @@ -409,6 +409,10 @@ {{.i18n.rename}}
  • +
  • + {{.i18n.find_in_files}} +
  • +
  • {{.i18n.refresh}}