X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGAlignmentPanel.java;h=7cf05de265bea83fd8cb04c9d43fefea8eb3637a;hb=55f6f8a9ddd0b8bb4445d1cc582297af1d0aa4c5;hp=3dd0205e0da46b05a7beeae97c2a3918013057b3;hpb=9df9ea39635e009b54078c300e8270ca45415410;p=jalview.git diff --git a/src/jalview/jbgui/GAlignmentPanel.java b/src/jalview/jbgui/GAlignmentPanel.java index 3dd0205..7cf05de 100755 --- a/src/jalview/jbgui/GAlignmentPanel.java +++ b/src/jalview/jbgui/GAlignmentPanel.java @@ -20,45 +20,49 @@ */ package jalview.jbgui; +import jalview.bin.Jalview; + import java.awt.BorderLayout; import java.awt.Color; import java.awt.Dimension; import javax.swing.BorderFactory; import javax.swing.ButtonGroup; +import javax.swing.JComponent; import javax.swing.JPanel; import javax.swing.JScrollBar; import javax.swing.JScrollPane; import javax.swing.border.Border; +import javax.swing.plaf.ScrollBarUI; @SuppressWarnings("serial") public class GAlignmentPanel extends JPanel { - protected JScrollBar vscroll = new JScrollBar(); + protected JScrollBar vscroll;// = new JScrollBar(); - protected JScrollBar hscroll = new JScrollBar(); + protected JScrollBar hscroll;// = new JScrollBar(); - BorderLayout borderLayout1 = new BorderLayout(); + BorderLayout borderLayout1;// = new BorderLayout(); - BorderLayout borderLayout3 = new BorderLayout(); + BorderLayout borderLayout3;// = new BorderLayout(); - BorderLayout borderLayout5 = new BorderLayout(); + BorderLayout borderLayout5;// = new BorderLayout(); - BorderLayout borderLayout6 = new BorderLayout(); + BorderLayout borderLayout6;// = new BorderLayout(); - ButtonGroup buttonGroup1 = new ButtonGroup(); + ButtonGroup buttonGroup1;// = new ButtonGroup(); - BorderLayout borderLayout7 = new BorderLayout(); + BorderLayout borderLayout7;// = new BorderLayout(); - BorderLayout borderLayout10 = new BorderLayout(); + BorderLayout borderLayout10;// = new BorderLayout(); - BorderLayout borderLayout11 = new BorderLayout(); + BorderLayout borderLayout11;// = new BorderLayout(); - public JScrollPane annotationScroller = new JScrollPane(); + public JScrollPane annotationScroller;// = new JScrollPane(); Border border1; - BorderLayout borderLayout4 = new BorderLayout(); + BorderLayout borderLayout4;// = new BorderLayout(); static JPanel newJPanel() { // BH 2019 @@ -70,28 +74,159 @@ public class GAlignmentPanel extends JPanel return p; } - protected JPanel sequenceHolderPanel = newJPanel(); - protected JPanel seqPanelHolder = newJPanel(); - protected JPanel scalePanelHolder = newJPanel(); - protected JPanel idPanelHolder = newJPanel(); - protected JPanel idSpaceFillerPanel1 = newJPanel(); - public JPanel annotationSpaceFillerHolder = newJPanel(); - protected JPanel hscrollFillerPanel = newJPanel(); - JPanel hscrollHolder = newJPanel(); + static + { + System.out.println("GAP 1 static "); + } + + protected JPanel sequenceHolderPanel;// = new JPanel(); + + protected JPanel seqPanelHolder;// = new JPanel(); + + protected JPanel scalePanelHolder;// = new JPanel(); + + protected JPanel idPanelHolder;// = new JPanel(); + + protected JPanel idSpaceFillerPanel1;// = new JPanel(); + public JPanel annotationSpaceFillerHolder;// = new JPanel(); + + protected JPanel hscrollFillerPanel;// = new JPanel(); + + JPanel hscrollHolder;// = new JPanel(); + + static + { + System.out.println("GAP 2 static "); + } public GAlignmentPanel() { + + System.out.println("GAP 3a"); + + System.out.println(Jalview.isHeadlessMode()); + try { + vscroll = newScrollBar(); + } catch (Throwable t) + { + t.printStackTrace(); + System.exit(1); + } + + hscroll = newScrollBar(); + + System.out.println("GAP 3b"); + + borderLayout1 = new BorderLayout(); + + borderLayout3 = new BorderLayout(); + + borderLayout5 = new BorderLayout(); + + borderLayout6 = new BorderLayout(); + + buttonGroup1 = new ButtonGroup(); + + borderLayout7 = new BorderLayout(); + + borderLayout10 = new BorderLayout(); + + borderLayout11 = new BorderLayout(); + + System.out.println("GAP 3c"); + annotationScroller = new JScrollPane() { + + @Override + public void updateUI() { + System.out.println("JScrollPane updateUI"); + } + + @Override + public JScrollBar createVerticalScrollBar() + { + return newScrollBar(); + } + + @Override + public JScrollBar createHorizontalScrollBar() + { + return newScrollBar(); + } + + + }; + System.out.println("GAP 3d"); + + borderLayout4 = new BorderLayout(); + + System.out.println("GAP 3e"); + sequenceHolderPanel = newJPanel(); + + seqPanelHolder = newJPanel(); + + scalePanelHolder = newJPanel(); + + idPanelHolder = newJPanel(); + + idSpaceFillerPanel1 = newJPanel(); + + annotationSpaceFillerHolder = newJPanel(); + + hscrollFillerPanel = newJPanel(); + + hscrollHolder = newJPanel(); + + System.out.println("GAP 3r"); + + try + { + + System.out.println("GAP 3 "); + jbInit(); + + System.out.println("GAP 4 "); + } catch (Exception e) { e.printStackTrace(); } } + private JScrollBar newScrollBar() + { + return new JScrollBar() + { + + /** + * Overrides JComponent.updateUI. + * + * @see JComponent#updateUI + */ + @Override + public void updateUI() + { + + System.out.println("JScrollBar.updateUI"); + setUI(new ScrollBarUI() + { + + }); + } + + @Override + public void setUI(ScrollBarUI ui) + { + System.out.println("JScrollBar.setUI"); + // setUI(ui); + } + }; + } + private void jbInit() throws Exception { // annotationScroller.setBackground(Color.white); // BH 2019