216 self.__vt100Re = re.compile( |
216 self.__vt100Re = re.compile( |
217 r'(?P<count>\d*)(?P<color>(?:;?\d*)*)(?P<action>[ABCDKm])') |
217 r'(?P<count>\d*)(?P<color>(?:;?\d*)*)(?P<action>[ABCDKm])') |
218 |
218 |
219 self.__populateDeviceTypeComboBox() |
219 self.__populateDeviceTypeComboBox() |
220 |
220 |
221 self.replEdit.setContextMenuPolicy(Qt.CustomContextMenu) |
|
222 |
|
223 self.replEdit.installEventFilter(self) |
221 self.replEdit.installEventFilter(self) |
224 |
222 |
225 self.replEdit.customContextMenuRequested.connect( |
223 self.replEdit.customContextMenuRequested.connect( |
226 self.__showContextMenu) |
224 self.__showContextMenu) |
227 self.__ui.preferencesChanged.connect(self.__handlePreferencesChanged) |
225 self.__ui.preferencesChanged.connect(self.__handlePreferencesChanged) |
332 pasteKeys = QKeySequence(Qt.CTRL + Qt.SHIFT + Qt.Key_V) |
330 pasteKeys = QKeySequence(Qt.CTRL + Qt.SHIFT + Qt.Key_V) |
333 menu = QMenu(self) |
331 menu = QMenu(self) |
334 menu.addAction(self.tr("Copy"), self.replEdit.copy, copyKeys) |
332 menu.addAction(self.tr("Copy"), self.replEdit.copy, copyKeys) |
335 menu.addAction(self.tr("Paste"), self.__paste, pasteKeys) |
333 menu.addAction(self.tr("Paste"), self.__paste, pasteKeys) |
336 menu.addSeparator() |
334 menu.addSeparator() |
337 # TODO: add device specific context menu entries |
335 if self.__device is not None: |
|
336 # allow device interface to add specific context menu entries |
|
337 self.__device.addActions(menu) |
338 menu.exec_(self.replEdit.mapToGlobal(pos)) |
338 menu.exec_(self.replEdit.mapToGlobal(pos)) |
339 |
339 |
340 def setConnected(self, connected): |
340 def setConnected(self, connected): |
341 """ |
341 """ |
342 Public method to set the connection status LED. |
342 Public method to set the connection status LED. |