mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-178692 - AppServers View: splitter position is not persisted between sessions ()
- revert 91845af, can't save the splitter from `dispose` since position is already 0 there
This commit is contained in:
+8
-1
@@ -42,6 +42,8 @@ import javax.swing.event.TreeSelectionListener;
|
||||
import javax.swing.tree.DefaultMutableTreeNode;
|
||||
import javax.swing.tree.DefaultTreeModel;
|
||||
import java.awt.*;
|
||||
import java.awt.event.ComponentAdapter;
|
||||
import java.awt.event.ComponentEvent;
|
||||
import java.awt.event.MouseEvent;
|
||||
import java.util.HashMap;
|
||||
import java.util.HashSet;
|
||||
@@ -208,6 +210,12 @@ public class ServersToolWindowContent extends JPanel implements Disposable, Serv
|
||||
new TreeSpeedSearch(myTree, TreeSpeedSearch.NODE_DESCRIPTOR_TOSTRING, true);
|
||||
|
||||
restoreSplitterProportion();
|
||||
myPropertiesPanel.addComponentListener(new ComponentAdapter() {
|
||||
@Override
|
||||
public void componentResized(ComponentEvent e) {
|
||||
saveSplitterProportion();
|
||||
}
|
||||
});
|
||||
}
|
||||
|
||||
private void onSelectionChanged() {
|
||||
@@ -387,7 +395,6 @@ public class ServersToolWindowContent extends JPanel implements Disposable, Serv
|
||||
|
||||
@Override
|
||||
public void dispose() {
|
||||
saveSplitterProportion();
|
||||
}
|
||||
|
||||
@Override
|
||||
|
||||
Reference in New Issue
Block a user