|
@@ -61,7 +61,7 @@ print '<div id="frmt" class="tree"></div>';
|
|
|
print "\n";
|
|
print "\n";
|
|
|
print '<script>';
|
|
print '<script>';
|
|
|
print "$('#frmt').jstree({";
|
|
print "$('#frmt').jstree({";
|
|
|
-print '"themes" : { "theme" : "default", "dots" : false, "icons" : false }, "plugins" : [ "themes", "html_data", "ui", "sort", "state" ],';
|
|
|
|
|
|
|
+print '"themes" : { "theme" : "default", "dots" : false, "icons" : false }, "plugins" : [ "themes", "html_data", "ui", "sort" ],';
|
|
|
print "'core' : { 'data' : [";
|
|
print "'core' : { 'data' : [";
|
|
|
print "\n";
|
|
print "\n";
|
|
|
foreach ($dev_hash as $device) {
|
|
foreach ($dev_hash as $device) {
|
