diff -r ed510767c096 -r ec199ef0cfc6 eric6/MicroPython/MicroPythonReplWidget.py
--- a/eric6/MicroPython/MicroPythonReplWidget.py Tue Jul 23 19:43:14 2019 +0200
+++ b/eric6/MicroPython/MicroPythonReplWidget.py Wed Jul 24 20:12:19 2019 +0200
@@ -218,8 +218,6 @@
self.__populateDeviceTypeComboBox()
- self.replEdit.setContextMenuPolicy(Qt.CustomContextMenu)
-
self.replEdit.installEventFilter(self)
self.replEdit.customContextMenuRequested.connect(
@@ -334,7 +332,9 @@
menu.addAction(self.tr("Copy"), self.replEdit.copy, copyKeys)
menu.addAction(self.tr("Paste"), self.__paste, pasteKeys)
menu.addSeparator()
- # TODO: add device specific context menu entries
+ if self.__device is not None:
+ # allow device interface to add specific context menu entries
+ self.__device.addActions(menu)
menu.exec_(self.replEdit.mapToGlobal(pos))
def setConnected(self, connected):
