From 03779746ab4cd2a1123e60ce70da331b5d140666 Mon Sep 17 00:00:00 2001 From: Min RK Date: Sun, 7 Dec 2014 13:55:06 -0800 Subject: [PATCH] Toggle line numbers in menu use 'Toggle' text, instead of switching between Show/Hide --- IPython/html/static/edit/js/menubar.js | 4 ---- IPython/html/templates/edit.html | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/IPython/html/static/edit/js/menubar.js b/IPython/html/static/edit/js/menubar.js index d500646b6..ccd11209f 100644 --- a/IPython/html/static/edit/js/menubar.js +++ b/IPython/html/static/edit/js/menubar.js @@ -115,10 +115,6 @@ define([ }); this.events.on("config_changed.Editor", function () { - var lineNumbers = editor.codemirror.getOption('lineNumbers'); - var text = lineNumbers ? "Hide" : "Show"; - text = text + " Line Numbers"; - that.element.find('#menu-line-numbers').find("a").text(text); var keyMap = editor.codemirror.getOption('keyMap') || "default"; that.element.find(".selected-keymap").removeClass("selected-keymap"); that.element.find("#menu-keymap-" + keyMap).addClass("selected-keymap"); diff --git a/IPython/html/templates/edit.html b/IPython/html/templates/edit.html index f63cb8d79..527aea174 100644 --- a/IPython/html/templates/edit.html +++ b/IPython/html/templates/edit.html @@ -60,7 +60,7 @@ data-file-path="{{file_path}}"
  • View
  • Mode