📄 pasteprevious.java
字号:
/* * PastePrevious.java - Paste previous dialog * :tabSize=8:indentSize=8:noTabs=false: * :folding=explicit:collapseFolds=1: * * Copyright (C) 1998, 1999, 2001 Slava Pestov * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or any later version. * * This program 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 General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */package org.gjt.sp.jedit.gui;//{{{ Importsimport javax.swing.*;import javax.swing.border.*;import javax.swing.event.*;import java.awt.*;import java.awt.event.*;import org.gjt.sp.jedit.*;//}}}public class PastePrevious extends EnhancedDialogimplements ActionListener, ListSelectionListener, MouseListener{ //{{{ PastePrevious constructor public PastePrevious(View view) { super(view,jEdit.getProperty("pasteprev.title"),true); this.view = view; JPanel content = new JPanel(new BorderLayout()); content.setBorder(new EmptyBorder(12,12,12,12)); setContentPane(content); clipHistory = HistoryModel.getModel("clipboard"); clips = new JList(new AbstractListModel() { public int getSize() { return clipHistory.getSize(); } public Object getElementAt(int index) { StringBuffer buf = new StringBuffer(); String item = clipHistory.getItem(index); // workaround for Swing rendering labels starting // with <html> using the HTML engine if(item.toLowerCase().startsWith("<html>")) buf.append(' '); boolean ws = true; for(int i = 0; i < item.length(); i++) { char ch = item.charAt(i); if(Character.isWhitespace(ch)) { if(ws) /* do nothing */; else { buf.append(' '); ws = true; } } else { ws = false; buf.append(ch); } } return buf.toString(); } }); clips.setVisibleRowCount(16); clips.addMouseListener(this); clips.addListSelectionListener(this); insert = new JButton(jEdit.getProperty("pasteprev.insert")); cancel = new JButton(jEdit.getProperty("common.cancel")); JLabel label = new JLabel(jEdit.getProperty("pasteprev.caption")); label.setBorder(new EmptyBorder(0,0,6,0)); content.add(BorderLayout.NORTH,label); JScrollPane scroller = new JScrollPane(clips); Dimension dim = scroller.getPreferredSize(); scroller.setPreferredSize(new Dimension(640,dim.height)); content.add(scroller, BorderLayout.CENTER); JPanel panel = new JPanel(); panel.setLayout(new BoxLayout(panel,BoxLayout.X_AXIS)); panel.setBorder(new EmptyBorder(12,0,0,0)); panel.add(Box.createGlue()); panel.add(insert); panel.add(Box.createHorizontalStrut(6)); panel.add(cancel); panel.add(Box.createGlue()); content.add(panel, BorderLayout.SOUTH); if(clipHistory.getSize() >= 1) clips.setSelectedIndex(0); updateButtons(); getRootPane().setDefaultButton(insert); insert.addActionListener(this); cancel.addActionListener(this); GUIUtilities.requestFocus(this,clips); pack(); setLocationRelativeTo(view); show(); } //}}} //{{{ ok() method public void ok() { int selected = clips.getSelectedIndex(); if(selected == -1) { view.getToolkit().beep(); return; } String clip = clipHistory.getItem(selected); view.getTextArea().setSelectedText(clip); dispose(); } //}}} //{{{ cancel() method public void cancel() { dispose(); } //}}} //{{{ actionPerformed() method public void actionPerformed(ActionEvent evt) { Object source = evt.getSource(); if(source == insert) ok(); else if(source == cancel) cancel(); } //}}} //{{{ mouseClicked() method public void mouseClicked(MouseEvent evt) { if(evt.getClickCount() == 2) ok(); } //}}} //{{{ Crap public void mouseEntered(MouseEvent evt) {} public void mouseExited(MouseEvent evt) {} public void mousePressed(MouseEvent evt) {} public void mouseReleased(MouseEvent evt) {} //}}} //{{{ valueChanged() method public void valueChanged(ListSelectionEvent evt) { updateButtons(); } //}}} //{{{ Private members //{{{ Instance variables private View view; private JList clips; private HistoryModel clipHistory; private JButton insert; private JButton cancel; //}}} //{{{ updateButtons() method private void updateButtons() { int selected = clips.getSelectedIndex(); insert.setEnabled(selected != -1); } //}}} //}}}}⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -