Przeglądaj źródła

fix random scroll position after reflow

xuty 4 lat temu
rodzic
commit
d1fd742913
1 zmienionych plików z 1 dodań i 0 usunięć
  1. 1 0
      lib/frontend/terminal_view.dart

+ 1 - 0
lib/frontend/terminal_view.dart

@@ -289,6 +289,7 @@ class _TerminalViewState extends State<TerminalView> {
 
       SchedulerBinding.instance!.addPostFrameCallback((_) {
         widget.terminal.resize(termWidth, termHeight);
+        widget.terminal.refresh();
       });
 
       // Future.delayed(Duration.zero).then((_) {