Эх сурвалжийг харах

Sync ShortcutManager's shortcuts in didUpdateWidget

J-P Nurmi 3 жил өмнө
parent
commit
d4d0ba73ed

+ 1 - 0
lib/src/terminal_view.dart

@@ -180,6 +180,7 @@ class TerminalViewState extends State<TerminalView> {
       }
       _scrollController = widget.scrollController ?? ScrollController();
     }
+    _shortcutManager.shortcuts = widget.shortcuts ?? defaultTerminalShortcuts;
     super.didUpdateWidget(oldWidget);
   }