📄 textareasink.java
字号:
/********************************************************************** This library is free software; you can redistribute it and/or* modify it under the terms of the GNU Library General Public* License as published by the Free Software Foundation; either* version 2 of the License, or (at your option) any later version.** This library 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* Library General Public License for more details.** You should have received a copy of the GNU Library General Public* License along with this library; if not, write to the* Free Software Foundation, Inc., 59 Temple Place - Suite 330,* Boston, MA 02111-1307, USA.** @author: Copyright (C) Tim Carver*********************************************************************/package org.emboss.jemboss.gui.sequenceChooser;import java.awt.datatransfer.*;import javax.swing.*;import javax.swing.event.*;import java.awt.event.*;import javax.swing.border.*;import java.awt.Color;import javax.swing.border.*;import java.awt.dnd.*;import java.io.*;/**** Extends JTextArea so that is becomes a sink for pasting into* or drag and dropping to**/public class TextAreaSink extends JTextArea implements DropTargetListener{ public TextAreaSink() { addMouseListener(new MouseAdapter() { public void mouseClicked(MouseEvent e) { if(e.getClickCount() == 2) { pasteText(); e.consume(); }; } }); setDropTarget(new DropTarget(this,this)); } /** * * Add text from the system clipboard into the text area * */ public void pasteText() { Clipboard c = this.getToolkit().getSystemClipboard(); Transferable t = c.getContents(this); if(t==null) { this.getToolkit().beep(); return; } try { if(t.isDataFlavorSupported(DataFlavor.stringFlavor)) { String s = (String) t.getTransferData(DataFlavor.stringFlavor); this.replaceSelection(s); } else this.getToolkit().beep(); } catch (UnsupportedFlavorException ex) { this.getToolkit().beep(); } catch (IOException ex) { this.getToolkit().beep(); } } protected static Border dropBorder = new BevelBorder(BevelBorder.LOWERED); public void dragEnter(DropTargetDragEvent e) { if(e.isDataFlavorSupported(DataFlavor.stringFlavor)) { e.acceptDrag(DnDConstants.ACTION_COPY_OR_MOVE); this.setBorder(dropBorder); } } public void dragExit(DropTargetEvent e) { this.setBorder(null); } public void drop(DropTargetDropEvent e) { this.setBorder(null); Transferable t = e.getTransferable(); if(t.isDataFlavorSupported(DataFlavor.stringFlavor)) { e.acceptDrop(DnDConstants.ACTION_COPY_OR_MOVE); try { String dropS = (String) t.getTransferData(DataFlavor.stringFlavor); this.replaceSelection(dropS); e.dropComplete(true); } catch (Exception ex) {} } else { e.rejectDrop(); return; } return; } public void dragOver(DropTargetDragEvent e) {} public void dropActionChanged(DropTargetDragEvent e) {} }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -