forward/backward word, hide mouse when typing
authorKevin Lamonte <kevin.lamonte@gmail.com>
Sat, 17 Aug 2019 03:19:45 +0000 (22:19 -0500)
committerKevin Lamonte <kevin.lamonte@gmail.com>
Sat, 17 Aug 2019 03:19:45 +0000 (22:19 -0500)
commite23989a4e74f7a7a08496aac956d1abe429bd6c0
treef0691de7ec4bcd55a514254b0e07a028db7f27f5
parent80b1b7b5fb2d8caed97ea9a98b8a844beb00927d
forward/backward word, hide mouse when typing
src/jexer/TEditorWidget.java
src/jexer/TEditorWindow.java
src/jexer/teditor/Document.java
src/jexer/teditor/Line.java