Sat, 26 Apr 2025 12:34:32 +0200
MicroPython
- Added a configuration option to disable the support for the no longer produced Pimoroni Pico Wireless Pack.
<?xml version="1.0" encoding="UTF-8"?> <ui version="4.0"> <class>EditorCallTipsJediPage</class> <widget class="QWidget" name="EditorCallTipsJediPage"> <property name="geometry"> <rect> <x>0</x> <y>0</y> <width>400</width> <height>300</height> </rect> </property> <layout class="QVBoxLayout" name="verticalLayout"> <item> <widget class="QLabel" name="headerLabel"> <property name="text"> <string><b>Configure Jedi Calltips</b></string> </property> </widget> </item> <item> <widget class="Line" name="line15"> <property name="frameShape"> <enum>QFrame::HLine</enum> </property> <property name="frameShadow"> <enum>QFrame::Sunken</enum> </property> <property name="orientation"> <enum>Qt::Horizontal</enum> </property> </widget> </item> <item> <widget class="QCheckBox" name="jediCalltipsCheckBox"> <property name="toolTip"> <string>Select, whether the jedi calltip support shall be enabled.</string> </property> <property name="text"> <string>Enable calltip</string> </property> </widget> </item> <item> <spacer name="verticalSpacer"> <property name="orientation"> <enum>Qt::Vertical</enum> </property> <property name="sizeHint" stdset="0"> <size> <width>20</width> <height>220</height> </size> </property> </spacer> </item> </layout> </widget> <resources/> <connections/> </ui>