Explorar el Código

Fix scroll problem in mobile device. Only clear Scroll event in Desktop environment

翰宇 林 hace 4 años
padre
commit
01bb679b70
Se han modificado 1 ficheros con 2 adiciones y 1 borrados
  1. 2 1
      lib/frontend/terminal_view.dart

+ 2 - 1
lib/frontend/terminal_view.dart

@@ -175,7 +175,8 @@ class _TerminalViewState extends State<TerminalView> {
 
                 /// use [_EmptyScrollActivity] to suppress unexpected behaviors
                 /// that come from [applyViewportDimension].
-                if (position is ScrollActivityDelegate) {
+                if (InputBehaviors.platform == InputBehaviors.desktop &&
+                    position is ScrollActivityDelegate) {
                   position.beginActivity(
                     _EmptyScrollActivity(position as ScrollActivityDelegate),
                   );