From 1f178124ef70d37de8f2be2e509734f4f6451c0e Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 25 May 2005 16:43:29 +0000 Subject: [PATCH] layout changes --- src/jalview/jbgui/GCutAndPasteTransfer.java | 139 +++++++++++---------------- 1 file changed, 57 insertions(+), 82 deletions(-) diff --git a/src/jalview/jbgui/GCutAndPasteTransfer.java b/src/jalview/jbgui/GCutAndPasteTransfer.java index 6922fd3..c816886 100755 --- a/src/jalview/jbgui/GCutAndPasteTransfer.java +++ b/src/jalview/jbgui/GCutAndPasteTransfer.java @@ -1,82 +1,57 @@ -/******************** - * 2004 Jalview Reengineered - * Barton Group - * Dundee University - * - * AM Waterhouse - *******************/ - -package jalview.jbgui; - -import javax.swing.*; -import java.awt.*; -import java.awt.event.*; - - -public class GCutAndPasteTransfer extends JPanel -{ - protected JTextArea textarea = new JTextArea(); - protected JComboBox formatChoice = new JComboBox(); - protected JLabel formatLabel = new JLabel(); - protected JScrollPane scrollPane = new JScrollPane(); - public GCutAndPasteTransfer() - { - try - { - jbInit(); - } - catch(Exception e) - { - e.printStackTrace(); - } - - } - private void jbInit() throws Exception - { - textarea.setFont(new java.awt.Font("Verdana", 0, 12)); - textarea.setBorder(BorderFactory.createLineBorder(Color.black)); - textarea.setText("Paste your alignment file here"); - textarea.addMouseListener(new java.awt.event.MouseAdapter() - { - public void mousePressed(MouseEvent e) - { - textarea_mousePressed(e); - } - }); - formatChoice.setFont(new java.awt.Font("Verdana", 0, 12)); - formatChoice.setBounds(new Rectangle(194, 269, 159, 22)); - formatChoice.addActionListener(new java.awt.event.ActionListener() - { - public void actionPerformed(ActionEvent e) - { - formatChoice_actionPerformed(e); - } - }); - formatLabel.setFont(new java.awt.Font("Verdana", 0, 12)); - formatLabel.setHorizontalAlignment(SwingConstants.TRAILING); - formatLabel.setText("Alignment Format"); - formatLabel.setBounds(new Rectangle(76, 272, 110, 16)); - this.setLayout(null); - this.setPreferredSize(new Dimension(400, 300)); - scrollPane.setBounds(new Rectangle(5, 5, 389, 256)); - this.add(formatLabel, null); - this.add(formatChoice, null); - this.add(scrollPane, null); - scrollPane.getViewport().add(textarea, null); - - } - - - - protected void formatChoice_actionPerformed(ActionEvent e) - { - - } - - void textarea_mousePressed(MouseEvent e) - { - if(textarea.getText().equals("Paste your alignment file here")) - textarea.setText(""); - } - -} +/******************** + * 2004 Jalview Reengineered + * Barton Group + * Dundee University + * + * AM Waterhouse + *******************/ + +package jalview.jbgui; + +import javax.swing.*; +import java.awt.*; +import java.awt.event.*; + + +public class GCutAndPasteTransfer extends JPanel +{ + protected JTextArea textarea = new JTextArea(); + protected JScrollPane scrollPane = new JScrollPane(); + BorderLayout borderLayout1 = new BorderLayout(); + public GCutAndPasteTransfer() + { + try + { + jbInit(); + } + catch(Exception e) + { + e.printStackTrace(); + } + + } + private void jbInit() throws Exception + { + textarea.setFont(new java.awt.Font("Verdana", 0, 12)); + textarea.setBorder(BorderFactory.createLineBorder(Color.black)); + textarea.setText("Paste your alignment file here"); + textarea.addMouseListener(new java.awt.event.MouseAdapter() + { + public void mousePressed(MouseEvent e) + { + textarea_mousePressed(e); + } + }); + this.setLayout(borderLayout1); + this.setPreferredSize(new Dimension(400, 300)); + scrollPane.getViewport().add(textarea, null); + this.add(scrollPane, java.awt.BorderLayout.CENTER); + } + + void textarea_mousePressed(MouseEvent e) + { + if(textarea.getText().equals("Paste your alignment file here")) + textarea.setText(""); + } + +} -- 1.7.10.2