Revision: 4423
http://sourceforge.net/p/jump-pilot/code/4423
Author: jratike80
Date: 2015-05-05 09:25:27 +0000 (Tue, 05 May 2015)
Log Message:
-----------
Backport from jEdit Syntax v. 2.2.2 clipboard operations:
Ctrl-A, Ctrl-X, Ctrl-C, Ctrl-V
Modified Paths:
--------------
plug-ins/SpatialitePlugin/trunk/src/jedit/DefaultInputHandler.java
plug-ins/SpatialitePlugin/trunk/src/jedit/InputHandler.java
Modified: plug-ins/SpatialitePlugin/trunk/src/jedit/DefaultInputHandler.java
===================================================================
--- plug-ins/SpatialitePlugin/trunk/src/jedit/DefaultInputHandler.java
2015-05-05 08:53:20 UTC (rev 4422)
+++ plug-ins/SpatialitePlugin/trunk/src/jedit/DefaultInputHandler.java
2015-05-05 09:25:27 UTC (rev 4423)
@@ -8,6 +8,8 @@
* permitted, in both source and binary form, provided that this notice
* remains intact in all source distributions of this package.
*/
+// Backported from jEdit-syntax 2.2.2: Ctrl-a, Ctrl-c, Ctrl-v, Ctrl-x
+// 2015-05-05 Jukka Rahkonen
import javax.swing.KeyStroke;
import java.awt.event.*;
@@ -49,6 +51,7 @@
addKeyBinding("HOME",HOME);
addKeyBinding("END",END);
+ addKeyBinding("C+A",SELECT_ALL);
addKeyBinding("S+HOME",SELECT_HOME);
addKeyBinding("S+END",SELECT_END);
addKeyBinding("C+HOME",DOCUMENT_HOME);
@@ -75,6 +78,11 @@
addKeyBinding("S+DOWN",SELECT_NEXT_LINE);
addKeyBinding("C+ENTER",REPEAT);
+
+ // Clipboard
+ addKeyBinding("C+C", CLIP_COPY);
+ addKeyBinding("C+V", CLIP_PASTE);
+ addKeyBinding("C+X", CLIP_CUT);
}
/**
Modified: plug-ins/SpatialitePlugin/trunk/src/jedit/InputHandler.java
===================================================================
--- plug-ins/SpatialitePlugin/trunk/src/jedit/InputHandler.java 2015-05-05
08:53:20 UTC (rev 4422)
+++ plug-ins/SpatialitePlugin/trunk/src/jedit/InputHandler.java 2015-05-05
09:25:27 UTC (rev 4423)
@@ -44,6 +44,7 @@
public static final ActionListener DELETE_WORD = new delete_word();
public static final ActionListener END = new end(false);
public static final ActionListener DOCUMENT_END = new
document_end(false);
+ public static final ActionListener SELECT_ALL = new select_all();
public static final ActionListener SELECT_END = new end(true);
public static final ActionListener SELECT_DOC_END = new
document_end(true);
public static final ActionListener INSERT_BREAK = new insert_break();
@@ -71,6 +72,10 @@
public static final ActionListener SELECT_PREV_WORD = new
prev_word(true);
public static final ActionListener REPEAT = new repeat();
public static final ActionListener TOGGLE_RECT = new toggle_rect();
+ // Clipboard
+ public static final ActionListener CLIP_COPY = new clip_copy();
+ public static final ActionListener CLIP_PASTE = new clip_paste();
+ public static final ActionListener CLIP_CUT = new clip_cut();
// Default action
public static final ActionListener INSERT_CHAR = new insert_char();
@@ -85,6 +90,7 @@
actions.put("delete",DELETE);
actions.put("delete-word",DELETE_WORD);
actions.put("end",END);
+ actions.put("select-all",SELECT_ALL);
actions.put("select-end",SELECT_END);
actions.put("document-end",DOCUMENT_END);
actions.put("select-doc-end",SELECT_DOC_END);
@@ -114,6 +120,9 @@
actions.put("repeat",REPEAT);
actions.put("toggle-rect",TOGGLE_RECT);
actions.put("insert-char",INSERT_CHAR);
+ actions.put("clipboard-copy",CLIP_COPY);
+ actions.put("clipboard-paste",CLIP_PASTE);
+ actions.put("clipboard-cut",CLIP_CUT);
}
/**
@@ -611,6 +620,13 @@
textArea.setCaretPosition(caret);
}
}
+ public static class select_all implements ActionListener {
+ public void actionPerformed(ActionEvent evt)
+ {
+ JEditTextArea textArea = getTextArea(evt);
+ textArea.selectAll();
+ }
+ }
public static class document_end implements ActionListener
{
@@ -1068,4 +1084,27 @@
}
}
}
+ public static class clip_copy implements ActionListener {
+ public void actionPerformed(ActionEvent evt)
+ {
+ JEditTextArea textArea = getTextArea(evt);
+ textArea.copy();
+ }
+ }
+
+ public static class clip_paste implements ActionListener {
+ public void actionPerformed(ActionEvent evt)
+ {
+ JEditTextArea textArea = getTextArea(evt);
+ textArea.paste();
+ }
+ }
+
+ public static class clip_cut implements ActionListener {
+ public void actionPerformed(ActionEvent evt)
+ {
+ JEditTextArea textArea = getTextArea(evt);
+ textArea.cut();
+ }
+ }
}
------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
