Skip to content
This repository was archived by the owner on Sep 6, 2021. It is now read-only.
3 changes: 2 additions & 1 deletion src/project/ProjectManager.js
Original file line number Diff line number Diff line change
Expand Up @@ -385,7 +385,8 @@ define(function (require, exports, module) {

// Instantiate tree widget
// (jsTree is smart enough to replace the old tree if there's already one there)
$projectTreeContainer.hide();
$projectTreeContainer.hide()
.addClass("no-focus");
_projectTree = $projectTreeContainer
.jstree({
plugins : ["ui", "themes", "json_data", "crrm", "sort"],
Expand Down