From 6174498ab0c4047aaed81a1bb5aa71b1fd8c842b Mon Sep 17 00:00:00 2001 From: Tim <33530562+tmetzl@users.noreply.github.com> Date: Fri, 7 Jun 2019 12:20:33 +0200 Subject: [PATCH] Add id for command palette button group (#4661) --- notebook/static/notebook/js/maintoolbar.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/notebook/static/notebook/js/maintoolbar.js b/notebook/static/notebook/js/maintoolbar.js index 2207be4a2..e870053b6 100644 --- a/notebook/static/notebook/js/maintoolbar.js +++ b/notebook/static/notebook/js/maintoolbar.js @@ -58,7 +58,9 @@ define([ ], 'run_int'], [''], - [['jupyter-notebook:show-command-palette']] + [ + ['jupyter-notebook:show-command-palette'], + 'cmd_palette'] ]; this.construct(grps); };