Formatting changes
[jalview.git] / src / jalview / jbgui / GAlignmentPanel.java
index fc8b8dd..3bc577a 100755 (executable)
-/*
-* Jalview - A Sequence Alignment Editor and Viewer
-* Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
-*
-* This program is free software; you can redistribute it and/or
-* modify it under the terms of the GNU General Public License
-* as published by the Free Software Foundation; either version 2
-* of the License, or (at your option) any later version.
-*
-* This program is distributed in the hope that it will be useful,
-* but WITHOUT ANY WARRANTY; without even the implied warranty of
-* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-* GNU General Public License for more details.
-*
-* You should have received a copy of the GNU General Public License
-* along with this program; if not, write to the Free Software
-* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
-*/\r
+/*\r
+ * Jalview - A Sequence Alignment Editor and Viewer\r
+ * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ *\r
+ * This program is free software; you can redistribute it and/or\r
+ * modify it under the terms of the GNU General Public License\r
+ * as published by the Free Software Foundation; either version 2\r
+ * of the License, or (at your option) any later version.\r
+ *\r
+ * This program is distributed in the hope that it will be useful,\r
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
+ * GNU General Public License for more details.\r
+ *\r
+ * You should have received a copy of the GNU General Public License\r
+ * along with this program; if not, write to the Free Software\r
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
+ */\r
 package jalview.jbgui;\r
 \r
 import java.awt.*;\r
-\r
 import javax.swing.*;\r
 import javax.swing.border.*;\r
+import java.awt.event.MouseWheelListener;\r
+import java.awt.event.MouseWheelEvent;\r
 \r
+public class GAlignmentPanel\r
+    extends JPanel\r
+{\r
+  protected JPanel sequenceHolderPanel = new JPanel();\r
+  protected JScrollBar vscroll = new JScrollBar();\r
+  protected JScrollBar hscroll = new JScrollBar();\r
+  protected JPanel seqPanelHolder = new JPanel();\r
+  BorderLayout borderLayout1 = new BorderLayout();\r
+  BorderLayout borderLayout3 = new BorderLayout();\r
+  protected JPanel scalePanelHolder = new JPanel();\r
+  protected JPanel idPanelHolder = new JPanel();\r
+  BorderLayout borderLayout5 = new BorderLayout();\r
+  protected JPanel idSpaceFillerPanel1 = new JPanel();\r
+  public JPanel annotationSpaceFillerHolder = new JPanel();\r
+  BorderLayout borderLayout6 = new BorderLayout();\r
+  ButtonGroup buttonGroup1 = new ButtonGroup();\r
+  BorderLayout borderLayout7 = new BorderLayout();\r
+  JPanel hscrollHolder = new JPanel();\r
+  BorderLayout borderLayout10 = new BorderLayout();\r
+  protected JPanel hscrollFillerPanel = new JPanel();\r
+  BorderLayout borderLayout11 = new BorderLayout();\r
+  public JScrollPane annotationScroller = new JScrollPane();\r
+  Border border1;\r
+  BorderLayout borderLayout4 = new BorderLayout();\r
 \r
-public class GAlignmentPanel extends JPanel {\r
-    protected JPanel sequenceHolderPanel = new JPanel();\r
-    protected JScrollBar vscroll = new JScrollBar();\r
-    protected JScrollBar hscroll = new JScrollBar();\r
-    protected JPanel seqPanelHolder = new JPanel();\r
-    BorderLayout borderLayout1 = new BorderLayout();\r
-    BorderLayout borderLayout3 = new BorderLayout();\r
-    protected JPanel scalePanelHolder = new JPanel();\r
-    protected JPanel idPanelHolder = new JPanel();\r
-    BorderLayout borderLayout5 = new BorderLayout();\r
-    protected JPanel idSpaceFillerPanel1 = new JPanel();\r
-    public JPanel annotationSpaceFillerHolder = new JPanel();\r
-    BorderLayout borderLayout6 = new BorderLayout();\r
-    ButtonGroup buttonGroup1 = new ButtonGroup();\r
-    BorderLayout borderLayout7 = new BorderLayout();\r
-    JPanel hscrollHolder = new JPanel();\r
-    BorderLayout borderLayout10 = new BorderLayout();\r
-    protected JPanel hscrollFillerPanel = new JPanel();\r
-    BorderLayout borderLayout11 = new BorderLayout();\r
-    public JScrollPane annotationScroller = new JScrollPane();\r
-    Border border1;\r
-    BorderLayout borderLayout4 = new BorderLayout();\r
-\r
-    public GAlignmentPanel() {\r
-        try {\r
-            jbInit();\r
-        } catch (Exception e) {\r
-            e.printStackTrace();\r
-        }\r
+  public GAlignmentPanel()\r
+  {\r
+    try\r
+    {\r
+      jbInit();\r
+    }\r
+    catch (Exception e)\r
+    {\r
+      e.printStackTrace();\r
     }\r
+  }\r
 \r
-    private void jbInit() throws Exception {\r
-        border1 = BorderFactory.createLineBorder(Color.gray, 1);\r
-        idPanelHolder.setBorder(null);\r
-        idPanelHolder.setPreferredSize(new Dimension(70, 10));\r
-        this.setLayout(borderLayout7);\r
-        sequenceHolderPanel.setMaximumSize(new Dimension(2147483647, 2147483647));\r
-        sequenceHolderPanel.setMinimumSize(new Dimension(150, 150));\r
-        sequenceHolderPanel.setPreferredSize(new Dimension(150, 150));\r
-        sequenceHolderPanel.setLayout(borderLayout3);\r
-        seqPanelHolder.setLayout(borderLayout1);\r
-        scalePanelHolder.setBackground(Color.white);\r
-        scalePanelHolder.setMinimumSize(new Dimension(10, 80));\r
-        scalePanelHolder.setPreferredSize(new Dimension(10, 30));\r
-        scalePanelHolder.setLayout(borderLayout6);\r
-        idPanelHolder.setLayout(borderLayout5);\r
-        idSpaceFillerPanel1.setBackground(Color.white);\r
-        idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));\r
-        idSpaceFillerPanel1.setLayout(borderLayout11);\r
-        annotationSpaceFillerHolder.setBackground(Color.white);\r
-        annotationSpaceFillerHolder.setPreferredSize(new Dimension(10, 80));\r
-        annotationSpaceFillerHolder.setLayout(borderLayout4);\r
-        hscroll.setOrientation(JScrollBar.HORIZONTAL);\r
-        hscrollHolder.setLayout(borderLayout10);\r
-        hscrollFillerPanel.setBackground(Color.white);\r
-        hscrollFillerPanel.setPreferredSize(new Dimension(70, 10));\r
-        hscrollHolder.setBackground(Color.white);\r
-        annotationScroller.setBorder(null);\r
-        annotationScroller.setPreferredSize(new Dimension(10, 80));\r
-        this.setPreferredSize(new Dimension(220, 166));\r
-        this.setRequestFocusEnabled(true);\r
-        sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);\r
-        sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);\r
-        seqPanelHolder.add(vscroll, BorderLayout.EAST);\r
-        sequenceHolderPanel.add(annotationScroller, BorderLayout.SOUTH);\r
+  private void jbInit()\r
+      throws Exception\r
+  {\r
+    border1 = BorderFactory.createLineBorder(Color.gray, 1);\r
+    idPanelHolder.setBorder(null);\r
+    idPanelHolder.setPreferredSize(new Dimension(70, 10));\r
+    this.setLayout(borderLayout7);\r
+    sequenceHolderPanel.setMaximumSize(new Dimension(2147483647, 2147483647));\r
+    sequenceHolderPanel.setMinimumSize(new Dimension(150, 150));\r
+    sequenceHolderPanel.setPreferredSize(new Dimension(150, 150));\r
+    sequenceHolderPanel.setLayout(borderLayout3);\r
+    seqPanelHolder.setLayout(borderLayout1);\r
+    scalePanelHolder.setBackground(Color.white);\r
+    scalePanelHolder.setMinimumSize(new Dimension(10, 80));\r
+    scalePanelHolder.setPreferredSize(new Dimension(10, 30));\r
+    scalePanelHolder.setLayout(borderLayout6);\r
+    idPanelHolder.setLayout(borderLayout5);\r
+    idSpaceFillerPanel1.setBackground(Color.white);\r
+    idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));\r
+    idSpaceFillerPanel1.setLayout(borderLayout11);\r
+    annotationSpaceFillerHolder.setBackground(Color.white);\r
+    annotationSpaceFillerHolder.setPreferredSize(new Dimension(10, 80));\r
+    annotationSpaceFillerHolder.setLayout(borderLayout4);\r
+    hscroll.setOrientation(JScrollBar.HORIZONTAL);\r
+    hscrollHolder.setLayout(borderLayout10);\r
+    hscrollFillerPanel.setBackground(Color.white);\r
+    hscrollFillerPanel.setPreferredSize(new Dimension(70, 10));\r
+    hscrollHolder.setBackground(Color.white);\r
+    annotationScroller.setBorder(null);\r
+    annotationScroller.setPreferredSize(new Dimension(10, 80));\r
+    this.setPreferredSize(new Dimension(220, 166));\r
+    this.setRequestFocusEnabled(true);\r
+    this.addMouseWheelListener(new MouseWheelListener()\r
+    {\r
+      public void mouseWheelMoved(MouseWheelEvent e)\r
+      {\r
+        this_mouseWheelMoved(e);\r
+      }\r
+    });\r
+    sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);\r
+    sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);\r
+    seqPanelHolder.add(vscroll, BorderLayout.EAST);\r
+    sequenceHolderPanel.add(annotationScroller, BorderLayout.SOUTH);\r
 \r
-        //  jPanel3.add(secondaryPanelHolder,  BorderLayout.SOUTH);\r
-        this.add(idPanelHolder, BorderLayout.WEST);\r
-        idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);\r
-        idPanelHolder.add(annotationSpaceFillerHolder, BorderLayout.SOUTH);\r
-        this.add(hscrollHolder, BorderLayout.SOUTH);\r
-        hscrollHolder.add(hscroll, BorderLayout.CENTER);\r
-        hscrollHolder.add(hscrollFillerPanel, BorderLayout.WEST);\r
-        this.add(sequenceHolderPanel, BorderLayout.CENTER);\r
-    }\r
+    //  jPanel3.add(secondaryPanelHolder,  BorderLayout.SOUTH);\r
+    this.add(idPanelHolder, BorderLayout.WEST);\r
+    idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);\r
+    idPanelHolder.add(annotationSpaceFillerHolder, BorderLayout.SOUTH);\r
+    this.add(hscrollHolder, BorderLayout.SOUTH);\r
+    hscrollHolder.add(hscroll, BorderLayout.CENTER);\r
+    hscrollHolder.add(hscrollFillerPanel, BorderLayout.WEST);\r
+    this.add(sequenceHolderPanel, BorderLayout.CENTER);\r
+  }\r
+\r
+  public void this_mouseWheelMoved(MouseWheelEvent e)\r
+  {\r
+\r
+  }\r
 }\r