diff -r 8a68a7a7ab88 -r 26a7d607b8f6 src/eric7/MicroPython/MicroPythonWidget.ui
--- a/src/eric7/MicroPython/MicroPythonWidget.ui Wed May 03 10:12:03 2023 +0200
+++ b/src/eric7/MicroPython/MicroPythonWidget.ui Thu May 04 11:22:11 2023 +0200
@@ -10,6 +10,12 @@
<height>548</height>
</rect>
</property>
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Expanding" vsizetype="Expanding">
+ <horstretch>0</horstretch>
+ <verstretch>0</verstretch>
+ </sizepolicy>
+ </property>
<layout class="QVBoxLayout" name="verticalLayout">
<item>
<layout class="QHBoxLayout" name="horizontalLayout">
@@ -146,18 +152,15 @@
</layout>
</item>
<item>
- <widget class="QTextEdit" name="replEdit">
- <property name="contextMenuPolicy">
- <enum>Qt::CustomContextMenu</enum>
+ <widget class="MicroPythonReplWidget" name="replWidget" native="true">
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Expanding" vsizetype="Expanding">
+ <horstretch>0</horstretch>
+ <verstretch>0</verstretch>
+ </sizepolicy>
</property>
- <property name="undoRedoEnabled">
- <bool>false</bool>
- </property>
- <property name="lineWrapMode">
- <enum>QTextEdit::NoWrap</enum>
- </property>
- <property name="acceptRichText">
- <bool>false</bool>
+ <property name="focusPolicy">
+ <enum>Qt::StrongFocus</enum>
</property>
</widget>
</item>
@@ -175,17 +178,24 @@
<header>eric7/EricWidgets/EricLed.h</header>
<container>1</container>
</customwidget>
+ <customwidget>
+ <class>MicroPythonReplWidget</class>
+ <extends>QWidget</extends>
+ <header>eric7/MicroPython/MicroPythonReplWidget.h</header>
+ <container>1</container>
+ </customwidget>
</customwidgets>
<tabstops>
<tabstop>deviceTypeComboBox</tabstop>
<tabstop>repopulateButton</tabstop>
+ <tabstop>webreplConfigButton</tabstop>
<tabstop>menuButton</tabstop>
<tabstop>runButton</tabstop>
<tabstop>replButton</tabstop>
<tabstop>filesButton</tabstop>
<tabstop>chartButton</tabstop>
<tabstop>connectButton</tabstop>
- <tabstop>replEdit</tabstop>
+ <tabstop>replWidget</tabstop>
</tabstops>
<resources/>
<connections/>
