X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAnnotationColumnChooser.java;h=e25ff8f0509df2e3942ba7b84d76d3728ec56d4c;hb=refs%2Fheads%2Ffeatures%2FJAL-1740_BioJsAutoUpdater;hp=496d4a4619a5f08b4e53b8b2db8a641ce5301454;hpb=1d4b37e9bd54c095aa00e643b741c931eb61c58b;p=jalview.git diff --git a/src/jalview/appletgui/AnnotationColumnChooser.java b/src/jalview/appletgui/AnnotationColumnChooser.java index 496d4a4..e25ff8f 100644 --- a/src/jalview/appletgui/AnnotationColumnChooser.java +++ b/src/jalview/appletgui/AnnotationColumnChooser.java @@ -30,7 +30,9 @@ import java.awt.event.TextListener; import java.util.Iterator; import java.util.Vector; -import net.miginfocom.swing.MigLayout; +import javax.swing.JPanel; + +//import net.miginfocom.swing.MigLayout; public class AnnotationColumnChooser extends AnnotationRowFilter implements ActionListener, AdjustmentListener, ItemListener, MouseListener @@ -55,6 +57,10 @@ public class AnnotationColumnChooser extends AnnotationRowFilter implements private BorderLayout borderLayout1 = new BorderLayout(); + private BorderLayout gBorderLayout = new BorderLayout(); + + private BorderLayout ngBorderLayout = new BorderLayout(); + private Choice threshold = new Choice(); private StructureFilterPanel gStructureFilterPanel; @@ -187,15 +193,15 @@ public class AnnotationColumnChooser extends AnnotationRowFilter implements thresholdPanel.setBackground(Color.white); thresholdPanel.setFont(JvSwingUtils.getLabelFont()); - thresholdPanel.setLayout(new MigLayout("", "[left][right]", "[][]")); + // thresholdPanel.setLayout(new MigLayout("", "[left][right]", "[][]")); actionPanel.setBackground(Color.white); actionPanel.setFont(JvSwingUtils.getLabelFont()); - graphFilterView.setLayout(new MigLayout("", "[left][right]", "[][]")); + graphFilterView.setLayout(gBorderLayout); graphFilterView.setBackground(Color.white); - noGraphFilterView.setLayout(new MigLayout("", "[left][right]", "[][]")); + noGraphFilterView.setLayout(ngBorderLayout); noGraphFilterView.setBackground(Color.white); annotationComboBoxPanel.setBackground(Color.white); @@ -209,21 +215,29 @@ public class AnnotationColumnChooser extends AnnotationRowFilter implements ngStructureFilterPanel = new StructureFilterPanel(this); thresholdPanel.setTitle("Threshold Filter"); - thresholdPanel.add(getThreshold(), "grow"); - thresholdPanel.add(thresholdValue, "grow, wrap"); - thresholdPanel.add(slider, "grow, span, wrap"); + thresholdPanel.add(getThreshold()); + thresholdPanel.add(slider); + thresholdPanel.add(thresholdValue); actionPanel.add(ok); actionPanel.add(cancel); - graphFilterView.add(gSearchPanel, "grow, span, wrap"); - graphFilterView.add(gStructureFilterPanel, "grow, span, wrap"); - graphFilterView.add(thresholdPanel, "grow, span, wrap"); - graphFilterView.add(gFurtherActionPanel); + JPanel staticPanel = new JPanel(); + staticPanel.setLayout(new BorderLayout()); + staticPanel.setBackground(Color.white); + + staticPanel.add(gSearchPanel, java.awt.BorderLayout.NORTH); + staticPanel.add(gStructureFilterPanel, java.awt.BorderLayout.SOUTH); + + graphFilterView.add(staticPanel, java.awt.BorderLayout.NORTH); + graphFilterView.add(thresholdPanel, java.awt.BorderLayout.CENTER); + graphFilterView.add(gFurtherActionPanel, java.awt.BorderLayout.SOUTH); - noGraphFilterView.add(ngSearchPanel, "grow, span, wrap"); - noGraphFilterView.add(ngStructureFilterPanel, "grow, span, wrap"); - noGraphFilterView.add(ngFurtherActionPanel); + noGraphFilterView.add(ngSearchPanel, java.awt.BorderLayout.PAGE_START); + noGraphFilterView.add(ngStructureFilterPanel, + java.awt.BorderLayout.CENTER); + noGraphFilterView.add(ngFurtherActionPanel, + java.awt.BorderLayout.CENTER); annotationComboBoxPanel.add(getAnnotations()); switchableViewsPanel.add(noGraphFilterView,