mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[file-history] revalidate and repaint splitter after new data arrival
This commit is contained in:
@@ -277,7 +277,7 @@ public class FileHistoryPanelImpl extends PanelWithActionsAndCloseButton impleme
|
||||
if (myTargetSelection == null) {
|
||||
myTargetSelection = myDualView.getFlatView().getSelectedObjects();
|
||||
}
|
||||
|
||||
|
||||
myHistorySession = session;
|
||||
refreshRevisionsOrder();
|
||||
HistoryAsTreeProvider treeHistoryProvider = session.getHistoryAsTreeProvider();
|
||||
@@ -296,6 +296,8 @@ public class FileHistoryPanelImpl extends PanelWithActionsAndCloseButton impleme
|
||||
myTargetSelection);
|
||||
}
|
||||
|
||||
mySplitter.revalidate();
|
||||
mySplitter.repaint();
|
||||
myDualView.expandAll();
|
||||
myDualView.repaint();
|
||||
}
|
||||
@@ -433,9 +435,6 @@ public class FileHistoryPanelImpl extends PanelWithActionsAndCloseButton impleme
|
||||
if (myInRefresh) return;
|
||||
myInRefresh = true;
|
||||
|
||||
mySplitter.revalidate();
|
||||
mySplitter.repaint();
|
||||
|
||||
myRefresherI.refresh(canUseCache);
|
||||
});
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user