2 * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8)
3 * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
11 * Jalview is distributed in the hope that it will be useful, but
12 * WITHOUT ANY WARRANTY; without even the implied warranty
13 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
14 * PURPOSE. See the GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License along with Jalview. If not, see <http://www.gnu.org/licenses/>.
18 package jalview.jbgui;
20 import jalview.gui.JvSwingUtils;
23 import java.awt.event.*;
33 public class GCutAndPasteHtmlTransfer extends JInternalFrame
35 protected JEditorPane textarea = new JEditorPane("text/html", "");
37 protected JScrollPane scrollPane = new JScrollPane();
39 BorderLayout borderLayout1 = new BorderLayout();
41 JMenuBar editMenubar = new JMenuBar();
43 JMenu editMenu = new JMenu();
45 JMenuItem copyItem = new JMenuItem();
47 protected JCheckBoxMenuItem displaySource = new JCheckBoxMenuItem();
49 BorderLayout borderLayout2 = new BorderLayout();
51 protected JPanel inputButtonPanel = new JPanel();
53 protected JButton ok = new JButton();
55 JButton cancel = new JButton();
57 JMenuItem close = new JMenuItem();
59 JMenuItem selectAll = new JMenuItem();
61 JMenu jMenu1 = new JMenu();
63 JMenuItem save = new JMenuItem();
66 * Creates a new GCutAndPasteTransfer object.
68 public GCutAndPasteHtmlTransfer()
72 setJMenuBar(editMenubar);
86 private void jbInit() throws Exception
88 scrollPane.setBorder(null);
89 ok.setFont(JvSwingUtils.getLabelFont());
90 ok.setText("New Window");
91 ok.addActionListener(new ActionListener()
93 public void actionPerformed(ActionEvent e)
95 ok_actionPerformed(e);
98 cancel.setText("Close");
99 cancel.addActionListener(new ActionListener()
101 public void actionPerformed(ActionEvent e)
103 cancel_actionPerformed(e);
106 textarea.setBorder(null);
107 close.setText("Close");
108 close.addActionListener(new ActionListener()
110 public void actionPerformed(ActionEvent e)
112 cancel_actionPerformed(e);
115 close.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
116 java.awt.event.KeyEvent.VK_W, Toolkit.getDefaultToolkit()
117 .getMenuShortcutKeyMask(), false));
118 selectAll.setText("Select All");
119 selectAll.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
120 java.awt.event.KeyEvent.VK_A, Toolkit.getDefaultToolkit()
121 .getMenuShortcutKeyMask(), false));
122 selectAll.addActionListener(new ActionListener()
124 public void actionPerformed(ActionEvent e)
126 selectAll_actionPerformed(e);
129 jMenu1.setText("File");
130 save.setText("Save");
131 save.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
132 java.awt.event.KeyEvent.VK_S, Toolkit.getDefaultToolkit()
133 .getMenuShortcutKeyMask(), false));
134 save.addActionListener(new ActionListener()
136 public void actionPerformed(ActionEvent e)
138 save_actionPerformed(e);
141 copyItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
142 java.awt.event.KeyEvent.VK_C, Toolkit.getDefaultToolkit()
143 .getMenuShortcutKeyMask(), false));
145 editMenubar.add(jMenu1);
146 editMenubar.add(editMenu);
147 textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 12));
148 textarea.addMouseListener(new java.awt.event.MouseAdapter()
150 public void mousePressed(MouseEvent e)
152 textarea_mousePressed(e);
155 editMenu.setText("Edit");
156 copyItem.setText("Copy");
157 copyItem.addActionListener(new ActionListener()
159 public void actionPerformed(ActionEvent e)
161 copyItem_actionPerformed(e);
164 displaySource.setText("Show HTML Source");
166 .setToolTipText("Select this if you want to copy raw html");
167 displaySource.addActionListener(new ActionListener()
171 public void actionPerformed(ActionEvent arg0)
173 toggleHtml_actionPerformed(arg0);
176 editMenu.add(displaySource);
177 this.getContentPane().setLayout(borderLayout2);
178 scrollPane.setBorder(null);
179 scrollPane.getViewport().add(textarea, null);
180 editMenu.add(selectAll);
181 editMenu.add(copyItem);
182 this.getContentPane().add(scrollPane, java.awt.BorderLayout.CENTER);
183 inputButtonPanel.add(ok);
184 inputButtonPanel.add(cancel);
189 protected void toggleHtml_actionPerformed(ActionEvent arg0)
191 // TODO Auto-generated method stub
201 public void textarea_mousePressed(MouseEvent e)
212 public void copyItem_actionPerformed(ActionEvent e)
222 public void ok_actionPerformed(ActionEvent e)
232 public void cancel_actionPerformed(ActionEvent e)
236 public void selectAll_actionPerformed(ActionEvent e)
238 textarea.selectAll();
241 public void save_actionPerformed(ActionEvent e)