eric6/MicroPython/MicroPythonReplWidget.py

branch
micropython
changeset 7082
ec199ef0cfc6
parent 7081
ed510767c096
child 7087
2ca7fb61a82f
equal deleted inserted replaced
7081:ed510767c096 7082:ec199ef0cfc6
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.

eric ide

mercurial