try to speed up tree expansion

pull/62/head
Zlatin Balevsky 2021-06-11 18:49:49 +01:00
parent 7e08417c91
commit 9c7cf3d969
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 3 additions and 0 deletions

View File

@ -355,6 +355,7 @@ class MainFrameView {
borderLayout()
scrollPane(constraints : BorderLayout.CENTER) {
def jtree = new JTree(model.sharedTree)
jtree.setRowHeight(rowHeight)
jtree.setCellRenderer(new SharedTreeRenderer())
jtree.setDragEnabled(true)
jtree.setTransferHandler(transferHandler)
@ -2031,8 +2032,10 @@ class MainFrameView {
void fullTreeExpansion() {
JTree sharedFilesTree = builder.getVariable("shared-files-tree")
sharedFilesTree.removeTreeExpansionListener(expansionListener)
for (int i = 0; i < sharedFilesTree.rowCount; i ++)
sharedFilesTree.expandRow(i)
sharedFilesTree.addTreeExpansionListener(expansionListener)
}
private static String formatSize(long size, String suffix) {