Sfoglia il codice sorgente

fix scrollbar support

xuty 4 anni fa
parent
commit
f6e7156a59
1 ha cambiato i file con 3 aggiunte e 3 eliminazioni
  1. 3 3
      lib/frontend/terminal_view.dart

+ 3 - 3
lib/frontend/terminal_view.dart

@@ -165,9 +165,9 @@ class _TerminalViewState extends State<TerminalView> {
           onSize(constraints.maxWidth, constraints.maxHeight);
           // use flutter's Scrollable to manage scrolling to better integrate
           // with widgets such as Scrollbar.
-          return NotificationListener<UserScrollNotification>(
-            onNotification: (_) {
-              onScroll(_.metrics.pixels);
+          return NotificationListener<ScrollNotification>(
+            onNotification: (notification) {
+              onScroll(notification.metrics.pixels);
               return false;
             },
             child: Scrollable(