|
...
|
...
|
@@ -280,7 +280,7 @@ var refreshTypeTree = function () { |
|
|
|
|
|
|
|
|
|
|
|
$('#jstree').jstree({
|
|
|
|
"plugins": ["themes", "contextmenu", "ui", "types", "crrm", "core", "status"],
|
|
|
|
"plugins": ["themes", "checkbox", "contextmenu", "ui", "types", "crrm", "core", "status"],
|
|
|
|
'core': {
|
|
|
|
"themes": {
|
|
|
|
name: 'proton',
|
...
|
...
|
|
