Add id for command palette button group (#4661)

This commit is contained in:
Tim 2019-06-07 12:20:33 +02:00 committed by Thomas Kluyver
parent 922e97922c
commit 6174498ab0

View File

@ -58,7 +58,9 @@ define([
],
'run_int'],
['<add_celltype_list>'],
[['jupyter-notebook:show-command-palette']]
[
['jupyter-notebook:show-command-palette'],
'cmd_palette']
];
this.construct(grps);
};