void TerminalModel::onViewSizeChange(int /*height*/, int /*width*/) { updateTerminalSize(); }
void Session::onViewSizeChange(int /*height*/, int /*width*/) { updateTerminalSize(); }