Merge pull request #140 from jpnurmi/shortcut-manager-shortcuts

Sync ShortcutManager's shortcuts in didUpdateWidget

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);
   }