diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-03-05 10:50:46 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-03-05 10:50:46 -0500 |
| commit | 602300ce7ce7b930953dd3115f2d42c45235a54d (patch) | |
| tree | 4c7184fbff0736c475e7861fb5b6685396831914 /pcr/java-rsyntaxtextarea | |
| parent | d38bfd5dcfd71ee9a042f75852d01de0e7d88ab2 (diff) | |
java-rsyntaxtextarea: Add rsyntaxtextarea-arduino.patch
Diffstat (limited to 'pcr/java-rsyntaxtextarea')
| -rw-r--r-- | pcr/java-rsyntaxtextarea/rsyntaxtextarea-arduino.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pcr/java-rsyntaxtextarea/rsyntaxtextarea-arduino.patch b/pcr/java-rsyntaxtextarea/rsyntaxtextarea-arduino.patch new file mode 100644 index 000000000..bef398c68 --- /dev/null +++ b/pcr/java-rsyntaxtextarea/rsyntaxtextarea-arduino.patch @@ -0,0 +1,16 @@ +--- RSyntaxTextArea-2.5.8.orig/src/main/java/org/fife/ui/rtextarea/RTextArea.java 2015-09-09 21:51:11.000000000 -0500 ++++ RSyntaxTextArea-2.5.8/src/main/java/org/fife/ui/rtextarea/RTextArea.java 2017-02-11 04:35:11.108201414 -0500 +@@ -1633,6 +1633,13 @@ +
+ }
+
++ public RUndoManager getUndoManager() {
++ return undoManager;
++ }
++
++ public void setUndoManager(RUndoManager undoManager) {
++ this.undoManager = undoManager;
++ }
+
+ /**
+ * Modified from <code>MutableCaretEvent</code> in
|