git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
#50 additional mouse pointer options
[fanfix.git]
/
src
/
jexer
/
TEditorWidget.java
diff --git
a/src/jexer/TEditorWidget.java
b/src/jexer/TEditorWidget.java
index 204b5750d3faa09d7c7c7a2f8b81460801195db8..8b105f8ba62bb2d3222590eceb28d82ab6c57229 100644
(file)
--- a/
src/jexer/TEditorWidget.java
+++ b/
src/jexer/TEditorWidget.java
@@
-247,7
+247,9
@@
public class TEditorWidget extends TWidget {
} else if (keypress.equals(kbDel)) {
document.del();
alignCursor();
} else if (keypress.equals(kbDel)) {
document.del();
alignCursor();
- } else if (keypress.equals(kbBackspace)) {
+ } else if (keypress.equals(kbBackspace)
+ || keypress.equals(kbBackspaceDel)
+ ) {
document.backspace();
alignTopLine(false);
} else if (keypress.equals(kbTab)) {
document.backspace();
alignTopLine(false);
} else if (keypress.equals(kbTab)) {
@@
-266,7
+268,7
@@
public class TEditorWidget extends TWidget {
) {
// Plain old keystroke, process it
// TODO: fix document to use ints, not chars
) {
// Plain old keystroke, process it
// TODO: fix document to use ints, not chars
- document.addChar(
(char)
keypress.getKey().getChar());
+ document.addChar(keypress.getKey().getChar());
alignCursor();
} else {
// Pass other keys (tab etc.) on to TWidget
alignCursor();
} else {
// Pass other keys (tab etc.) on to TWidget