X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTEditorWidget.java;h=a329dfa347b770dcb279140a1c5ef170f72aab64;hb=3405b554b5a0567b3c22f146fc1ce226e3fa48d2;hp=893145b85a12ee60e077f63541218fd59fde7241;hpb=43ee96da86bb1a5d1f308a8499dabbbd8750dd80;p=fanfix.git

diff --git a/src/jexer/TEditorWidget.java b/src/jexer/TEditorWidget.java
index 893145b..a329dfa 100644
--- a/src/jexer/TEditorWidget.java
+++ b/src/jexer/TEditorWidget.java
@@ -164,16 +164,11 @@ public class TEditorWidget extends TWidget implements EditMenuUser {
 
         if (mouse.isMouse1()) {
             // Selection.
-            if (inSelection) {
-                selectionColumn1 = leftColumn + mouse.getX();
-                selectionLine1 = topLine + mouse.getY();
-            } else if (mouse.isShift()) {
-                inSelection = true;
-                selectionColumn0 = leftColumn + mouse.getX();
-                selectionLine0 = topLine + mouse.getY();
-                selectionColumn1 = selectionColumn0;
-                selectionLine1 = selectionLine0;
-            }
+            inSelection = true;
+            selectionColumn0 = leftColumn + mouse.getX();
+            selectionLine0 = topLine + mouse.getY();
+            selectionColumn1 = selectionColumn0;
+            selectionLine1 = selectionLine0;
 
             // Set the row and column
             int newLine = topLine + mouse.getY();
@@ -230,7 +225,7 @@ public class TEditorWidget extends TWidget implements EditMenuUser {
             if (inSelection) {
                 selectionColumn1 = leftColumn + mouse.getX();
                 selectionLine1 = topLine + mouse.getY();
-            } else if (mouse.isShift()) {
+            } else {
                 inSelection = true;
                 selectionColumn0 = leftColumn + mouse.getX();
                 selectionLine0 = topLine + mouse.getY();
@@ -272,27 +267,12 @@ public class TEditorWidget extends TWidget implements EditMenuUser {
                 selectionLine1 = document.getLineNumber();
             }
             return;
-        } else {
-            inSelection = false;
         }
 
         // Pass to children
         super.onMouseDown(mouse);
     }
 
-    /**
-     * Handle mouse release events.
-     *
-     * @param mouse mouse button release event
-     */
-    @Override
-    public void onMouseUp(final TMouseEvent mouse) {
-        inSelection = false;
-
-        // Pass to children
-        super.onMouseDown(mouse);
-    }
-
     /**
      * Handle keystrokes.
      *