diff options
author | Ryan Hansberry <rhansby@gmail.com> | 2015-10-07 11:39:34 -0700 |
---|---|---|
committer | Ryan Hansberry <rhansby@gmail.com> | 2015-10-07 11:39:34 -0700 |
commit | e906125cce7394ba524db4bd23fa7235c6d09dee (patch) | |
tree | 66ffcb1e9061f1ae060abba58fd88a64f207b42d /app/src/main/java/org/connectbot/TerminalView.java | |
parent | 3c8cb9afa1e65bbc2cd44c93cb4c230d80e5752f (diff) | |
download | connectbot-e906125cce7394ba524db4bd23fa7235c6d09dee.tar.gz connectbot-e906125cce7394ba524db4bd23fa7235c6d09dee.tar.bz2 connectbot-e906125cce7394ba524db4bd23fa7235c6d09dee.zip |
Annotate TerminalView#onTouchEvent
Diffstat (limited to 'app/src/main/java/org/connectbot/TerminalView.java')
-rw-r--r-- | app/src/main/java/org/connectbot/TerminalView.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app/src/main/java/org/connectbot/TerminalView.java b/app/src/main/java/org/connectbot/TerminalView.java index 0d7fc51..cbf120f 100644 --- a/app/src/main/java/org/connectbot/TerminalView.java +++ b/app/src/main/java/org/connectbot/TerminalView.java @@ -253,9 +253,11 @@ public class TerminalView extends TextView implements FontSizeChangedListener { @Override public boolean onTouchEvent(MotionEvent event) { if (event.getAction() == MotionEvent.ACTION_DOWN) { + // Selection may be beginning. Sync the TextView with the buffer. refreshTextFromBuffer(); } + // Mouse input is treated differently: if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.ICE_CREAM_SANDWICH && MotionEventCompat.getSource(event) == InputDevice.SOURCE_MOUSE) { if (onMouseEvent(event, bridge)) { @@ -263,6 +265,7 @@ public class TerminalView extends TextView implements FontSizeChangedListener { } viewPager.setPagingEnabled(true); } else if (gestureDetector != null) { + // The gesture detector should not be called if touch event was from mouse. gestureDetector.onTouchEvent(event); } |