--- a/eric6/MicroPython/MicroPythonReplWidget.ui	Tue Jul 23 19:43:14 2019 +0200
+++ b/eric6/MicroPython/MicroPythonReplWidget.ui	Wed Jul 24 20:12:19 2019 +0200
@@ -146,6 +146,9 @@
    </item>
    <item>
     <widget class="QTextEdit" name="replEdit">
+     <property name="contextMenuPolicy">
+      <enum>Qt::CustomContextMenu</enum>
+     </property>
      <property name="undoRedoEnabled">
       <bool>false</bool>
      </property>