def __init__(self, parent=None):
super(TabbedTerminal, self).__init__(parent)
self.setTabPosition(QtWidgets.QTabWidget.South)
self._new_button = QtWidgets.QPushButton(self)
self._new_button.setText("New")
self._new_button.clicked.connect(self.new_terminal)
self.setCornerWidget(self._new_button)
self.setTabsClosable(True)
self.setMovable(True)
self.setWindowTitle("Terminal")
self._terms = []
self.tabCloseRequested[int].connect(self._on_close_request)
self.currentChanged[int].connect(self._on_current_changed)
# Manager
self.backendManager = BackendManager(parent = self)
QtWidgets.QApplication.instance().lastWindowClosed.connect(self.backendManager.stopAll)
