diff options
Diffstat (limited to 'java/src/IceGridGUI/EditorBase.java')
-rwxr-xr-x | java/src/IceGridGUI/EditorBase.java | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/java/src/IceGridGUI/EditorBase.java b/java/src/IceGridGUI/EditorBase.java index 01bef75c8e1..985a5ceb3ae 100755 --- a/java/src/IceGridGUI/EditorBase.java +++ b/java/src/IceGridGUI/EditorBase.java @@ -29,42 +29,42 @@ public abstract class EditorBase { public JComponent getProperties() { - if(_propertiesPanel == null) - { - buildPropertiesPanel(); - } - return _propertiesPanel; + if(_propertiesPanel == null) + { + buildPropertiesPanel(); + } + return _propertiesPanel; } public JToolBar getToolBar() { - return null; + return null; } protected abstract void appendProperties(DefaultFormBuilder builder); protected void buildPropertiesPanel() { - FormLayout layout = new FormLayout( - "right:pref, 3dlu, fill:pref:grow, 3dlu, pref", ""); - - DefaultFormBuilder builder = new DefaultFormBuilder(layout); - builder.setBorder(Borders.DLU2_BORDER); - builder.setRowGroupingEnabled(true); - builder.setLineGapSize(LayoutStyle.getCurrent().getLinePad()); - - appendProperties(builder); - - JScrollPane scrollPane = - new JScrollPane(builder.getPanel(), - JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, - JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); - - scrollPane.setBorder(Borders.DIALOG_BORDER); - - _propertiesPanel = new JPanel(new BorderLayout()); - _propertiesPanel.add(scrollPane, BorderLayout.CENTER); - _propertiesPanel.setBorder(Borders.EMPTY_BORDER); + FormLayout layout = new FormLayout( + "right:pref, 3dlu, fill:pref:grow, 3dlu, pref", ""); + + DefaultFormBuilder builder = new DefaultFormBuilder(layout); + builder.setBorder(Borders.DLU2_BORDER); + builder.setRowGroupingEnabled(true); + builder.setLineGapSize(LayoutStyle.getCurrent().getLinePad()); + + appendProperties(builder); + + JScrollPane scrollPane = + new JScrollPane(builder.getPanel(), + JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, + JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); + + scrollPane.setBorder(Borders.DIALOG_BORDER); + + _propertiesPanel = new JPanel(new BorderLayout()); + _propertiesPanel.add(scrollPane, BorderLayout.CENTER); + _propertiesPanel.setBorder(Borders.EMPTY_BORDER); } protected JPanel _propertiesPanel; |