2 * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
3 * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, 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();
46 protected JCheckBoxMenuItem displaySource=new JCheckBoxMenuItem();
48 BorderLayout borderLayout2 = new BorderLayout();
50 protected JPanel inputButtonPanel = new JPanel();
52 protected JButton ok = new JButton();
54 JButton cancel = new JButton();
56 JMenuItem close = new JMenuItem();
58 JMenuItem selectAll = new JMenuItem();
60 JMenu jMenu1 = new JMenu();
62 JMenuItem save = new JMenuItem();
65 * Creates a new GCutAndPasteTransfer object.
67 public GCutAndPasteHtmlTransfer()
71 setJMenuBar(editMenubar);
85 private void jbInit() throws Exception
87 scrollPane.setBorder(null);
88 ok.setFont(JvSwingUtils.getLabelFont());
89 ok.setText("New Window");
90 ok.addActionListener(new ActionListener()
92 public void actionPerformed(ActionEvent e)
94 ok_actionPerformed(e);
97 cancel.setText("Close");
98 cancel.addActionListener(new ActionListener()
100 public void actionPerformed(ActionEvent e)
102 cancel_actionPerformed(e);
105 textarea.setBorder(null);
106 close.setText("Close");
107 close.addActionListener(new ActionListener() {
108 public void actionPerformed(ActionEvent e)
110 cancel_actionPerformed(e);
113 close.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
114 java.awt.event.KeyEvent.VK_W, Toolkit.getDefaultToolkit()
115 .getMenuShortcutKeyMask(), false));
116 selectAll.setText("Select All");
117 selectAll.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
118 java.awt.event.KeyEvent.VK_A, Toolkit.getDefaultToolkit()
119 .getMenuShortcutKeyMask(), false));
120 selectAll.addActionListener(new ActionListener()
122 public void actionPerformed(ActionEvent e)
124 selectAll_actionPerformed(e);
127 jMenu1.setText("File");
128 save.setText("Save");
129 save.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
130 java.awt.event.KeyEvent.VK_S, Toolkit.getDefaultToolkit()
131 .getMenuShortcutKeyMask(), false));
132 save.addActionListener(new ActionListener()
134 public void actionPerformed(ActionEvent e)
136 save_actionPerformed(e);
139 copyItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(
140 java.awt.event.KeyEvent.VK_C, Toolkit.getDefaultToolkit()
141 .getMenuShortcutKeyMask(), false));
143 editMenubar.add(jMenu1);
144 editMenubar.add(editMenu);
145 textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 12));
146 textarea.addMouseListener(new java.awt.event.MouseAdapter()
148 public void mousePressed(MouseEvent e)
150 textarea_mousePressed(e);
153 editMenu.setText("Edit");
154 copyItem.setText("Copy");
155 copyItem.addActionListener(new ActionListener()
157 public void actionPerformed(ActionEvent e)
159 copyItem_actionPerformed(e);
162 displaySource.setText("Show HTML Source");
163 displaySource.setToolTipText("Select this if you want to copy raw html");
164 displaySource.addActionListener(new ActionListener()
168 public void actionPerformed(ActionEvent arg0)
170 toggleHtml_actionPerformed(arg0);
173 editMenu.add(displaySource);
174 this.getContentPane().setLayout(borderLayout2);
175 scrollPane.setBorder(null);
176 scrollPane.getViewport().add(textarea, null);
177 editMenu.add(selectAll);
178 editMenu.add(copyItem);
179 this.getContentPane().add(scrollPane, java.awt.BorderLayout.CENTER);
180 inputButtonPanel.add(ok);
181 inputButtonPanel.add(cancel);
186 protected void toggleHtml_actionPerformed(ActionEvent arg0)
188 // TODO Auto-generated method stub
198 public void textarea_mousePressed(MouseEvent e)
209 public void copyItem_actionPerformed(ActionEvent e)
220 public void ok_actionPerformed(ActionEvent e)
230 public void cancel_actionPerformed(ActionEvent e)
234 public void selectAll_actionPerformed(ActionEvent e)
236 textarea.selectAll();
239 public void save_actionPerformed(ActionEvent e)