Fixed disabling finger hover, updated Gimp

2014-05-02 22:27:21 +03:00
parent 07cd0a92b4
commit b127b04a7b
2 changed files with 4 additions and 2 deletions
--- a/project/java/Video.java
+++ b/project/java/Video.java
@@ -326,6 +326,8 @@ abstract class DifferentTouchInput
 				DemoGLSurfaceView.nativeHardwareMouseDetected(hwMouseEvent);
 			}
 			super.process(event);
+			if( !Globals.FingerHover && ExternalMouseDetected == Mouse.MOUSE_HW_INPUT_FINGER )
+				return; // Finger hover disabled in settings
 			if( (event.getAction() & MotionEvent.ACTION_MASK) == MotionEvent.ACTION_HOVER_MOVE ) // Support bluetooth/USB mouse - available since Android 3.1
 			{
 				int action;