gui: scroll to node when sync with editor

2015-09-19 20:05:04 +03:00
parent 7b70d617e0
commit d060f5b877
1 changed files with 1 additions and 0 deletions
@@ -320,6 +320,7 @@ public class MainWindow extends JFrame {
 		TreePath path = new TreePath(pathNodes);
 		tree.setSelectionPath(path);
 		tree.makeVisible(path);
+		tree.scrollPathToVisible(path);
 		tree.requestFocus();
 	}