| 935 | } |
| 936 | |
| 937 | void ViewManager::controllerChanged(SessionController *controller) |
| 938 | { |
| 939 | if (controller == _pluggedController) { |
| 940 | return; |
| 941 | } |
| 942 | |
| 943 | _viewContainer->setFocusProxy(controller->view()); |
| 944 | updateTerminalDisplayHistory(controller->view()); |
| 945 | |
| 946 | _pluggedController = controller; |
| 947 | Q_EMIT activeViewChanged(controller); |
| 948 | } |
| 949 | |
| 950 | SessionController *ViewManager::activeViewController() const |
| 951 | { |