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
help system
[fanfix.git]
/
src
/
jexer
/
TEditorWidget.java
diff --git
a/src/jexer/TEditorWidget.java
b/src/jexer/TEditorWidget.java
index 6d24a196af8881cd75c70455cdbae8b94dd2b618..6ff39e61308b04b2a9171e8e4aaa7517314a8ed3 100644
(file)
--- a/
src/jexer/TEditorWidget.java
+++ b/
src/jexer/TEditorWidget.java
@@
-312,6
+312,12
@@
public class TEditorWidget extends TWidget implements EditMenuUser {
// Non-shifted navigation keys disable selection.
inSelection = false;
}
// Non-shifted navigation keys disable selection.
inSelection = false;
}
+ if ((selectionColumn0 == selectionColumn1)
+ && (selectionLine0 == selectionLine1)
+ ) {
+ // The user clicked a spot and started typing.
+ inSelection = false;
+ }
}
if (keypress.equals(kbLeft)
}
if (keypress.equals(kbLeft)