From 8543b4e9f636471ff38f1f11a67fbb37148d1925 Mon Sep 17 00:00:00 2001 From: michaelpacer Date: Fri, 17 Feb 2017 14:59:02 -0800 Subject: [PATCH] Put short description at top, longer at bottom --- notebook/static/notebook/js/shortcuteditor.js | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/notebook/static/notebook/js/shortcuteditor.js b/notebook/static/notebook/js/shortcuteditor.js index f92efff4b..1ddc26294 100644 --- a/notebook/static/notebook/js/shortcuteditor.js +++ b/notebook/static/notebook/js/shortcuteditor.js @@ -106,10 +106,19 @@ var KeyBindingList = createClass({ } })); }); - children.unshift(createElement('div', {className:'well', key:'disclamer', dangerouslySetInnerHTML: + children.unshift(createElement('div', {className:'well', key:'disclamer', id:'short-key-binding-intro', dangerouslySetInnerHTML: {__html: marked( - + + "Here you can modify the keyboard shortcuts available in "+ + "command mode. Your changes will be stored for later sessions. "+ + "See more [**details of defining keyboard shortcuts**](#long-key-binding-intro) below." + )} + })); + children.push(createElement('div', {className:'well', key:'disclamer', id:'long-key-binding-intro', dangerouslySetInnerHTML: + {__html: + marked( + "This dialog allows you to modify the keyboard shortcuts available in command mode. "+ "Any changes will be persisted between sessions and across environments. "+ "You can define two kinds of shorctuts: **key combinations** and **key sequences**.\n"+