Changeset 5535
- Timestamp:
- 07/09/08 17:44:33 (5 months ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
branches/ProtocolEditor/src/ui/components/AttributeMemoFormatEditor.java
r5260 r5535 5 5 6 6 import java.awt.BorderLayout; 7 import java.awt.Toolkit; 8 import java.awt.datatransfer.DataFlavor; 9 import java.awt.datatransfer.Transferable; 10 import java.awt.datatransfer.UnsupportedFlavorException; 7 11 import java.awt.event.ActionEvent; 8 12 import java.awt.event.ActionListener; … … 11 15 import java.awt.event.KeyEvent; 12 16 import java.awt.event.KeyListener; 17 import java.io.IOException; 13 18 14 19 import javax.swing.Box; … … 21 26 import javax.swing.border.Border; 22 27 import javax.swing.border.EmptyBorder; 28 import javax.swing.text.BadLocationException; 23 29 24 30 import tree.IAttributeSaver; … … 62 68 toolBarButtonBorder = new EmptyBorder(spacing,spacing,spacing,spacing); 63 69 toolBarBox = Box.createHorizontalBox(); 70 71 /* 72 * Paste button to paste clip-board text into the EditorPane. 73 * The system Paste (Control-V) doesn't work when pasting text from 74 * a word document, perhaps because it contains unknown characters. 75 * NB. formatting is lost in this process. 76 */ 77 Icon pasteIcon = ImageFactory.getInstance().getIcon(ImageFactory.PASTE_ICON); 78 JButton pasteButton = new JButton(pasteIcon); 79 pasteButton.setToolTipText("Paste Text"); 80 pasteButton.addActionListener(new ActionListener() { 81 public void actionPerformed(ActionEvent e) { 82 83 Transferable t = Toolkit.getDefaultToolkit(). 84 getSystemClipboard().getContents(null); 85 86 try { 87 if (t != null && t.isDataFlavorSupported(DataFlavor.stringFlavor)) { 88 String text = (String)t.getTransferData(DataFlavor.stringFlavor); 89 int offset = editorPane.getCaretPosition(); 90 editorPane.getDocument().insertString(offset, text, null); 91 } 92 } catch (UnsupportedFlavorException ex) { 93 } catch (IOException ex) { 94 } catch (BadLocationException ex) { 95 // TODO Auto-generated catch block 96 ex.printStackTrace(); 97 } 98 } 99 } 100 ); 101 pasteButton.setBorder(toolBarButtonBorder); 102 toolBarBox.add(pasteButton); 103 64 104 65 105 Icon bulletPointsIcon = ImageFactory.getInstance().getIcon(ImageFactory.BULLET_POINTS_ICON); … … 85 125 underlineButton.setBorder(toolBarButtonBorder); 86 126 toolBarBox.add(underlineButton); 127 128 87 129 88 130 JPanel topPanel = new JPanel(new BorderLayout());
