*/
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
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 <code>JComponent.updateUI</code>.
+ *
+ * @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