diff options
| author | Jose <jose@zeroc.com> | 2012-10-01 23:31:53 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2012-10-01 23:31:53 +0200 |
| commit | a65969855f34adfa9b7475d89a20889dec1a69ef (patch) | |
| tree | 7f5e49bad2c36df014be3e6613a7a7a09d9cb2cf /java/src/IceGridGUI/EditorBase.java | |
| parent | Added support to display IceBox metrics (diff) | |
| download | ice-a65969855f34adfa9b7475d89a20889dec1a69ef.tar.bz2 ice-a65969855f34adfa9b7475d89a20889dec1a69ef.tar.xz ice-a65969855f34adfa9b7475d89a20889dec1a69ef.zip | |
Graph and Metrics views bug fixes
Diffstat (limited to 'java/src/IceGridGUI/EditorBase.java')
| -rw-r--r-- | java/src/IceGridGUI/EditorBase.java | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/EditorBase.java b/java/src/IceGridGUI/EditorBase.java index beb24efdd29..27c99d2c515 100644 --- a/java/src/IceGridGUI/EditorBase.java +++ b/java/src/IceGridGUI/EditorBase.java @@ -62,9 +62,17 @@ public abstract class EditorBase scrollPane.setBorder(Borders.DIALOG); - _propertiesPanel = new JPanel(new BorderLayout()); + if(_propertiesPanel == null) + { + _propertiesPanel = new JPanel(new BorderLayout()); + } + else + { + _propertiesPanel.removeAll(); + } _propertiesPanel.add(scrollPane, BorderLayout.CENTER); _propertiesPanel.setBorder(Borders.EMPTY); + _propertiesPanel.revalidate(); } protected JPanel _propertiesPanel; |