forward/backward word, hide mouse when typing
[fanfix.git] / src / jexer / TEditorWidget.java
index 204b5750d3faa09d7c7c7a2f8b81460801195db8..0f8f7715d8bf30d632c133d721b4e96a579ca4bb 100644 (file)
@@ -207,6 +207,16 @@ public class TEditorWidget extends TWidget {
         } else if (keypress.equals(kbRight)) {
             document.right();
             alignTopLine(true);
+        } else if (keypress.equals(kbAltLeft)
+            || keypress.equals(kbCtrlLeft)
+        ) {
+            document.backwardsWord();
+            alignTopLine(false);
+        } else if (keypress.equals(kbAltRight)
+            || keypress.equals(kbCtrlRight)
+        ) {
+            document.forwardsWord();
+            alignTopLine(true);
         } else if (keypress.equals(kbUp)) {
             document.up();
             alignTopLine(false);
@@ -247,7 +257,9 @@ public class TEditorWidget extends TWidget {
         } 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)) {
@@ -266,7 +278,7 @@ public class TEditorWidget extends TWidget {
         ) {
             // 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