--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/eric7/Preferences/ConfigurationPages/EditorAutoCompletionJediPage.ui Sat Sep 11 19:47:02 2021 +0200 @@ -0,0 +1,88 @@ +<?xml version="1.0" encoding="UTF-8"?> +<ui version="4.0"> + <class>EditorAutoCompletionJediPage</class> + <widget class="QWidget" name="EditorAutoCompletionJediPage"> + <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 Completion</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="jediAutocompletionCheckBox"> + <property name="toolTip"> + <string>Select, whether the jedi autocompletion support shall be enabled.</string> + </property> + <property name="text"> + <string>Enable autocompletion</string> + </property> + </widget> + </item> + <item> + <widget class="QCheckBox" name="jediFuzzyAutocompletionCheckBox"> + <property name="enabled"> + <bool>false</bool> + </property> + <property name="text"> + <string>Enable fuzzy completion</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>161</height> + </size> + </property> + </spacer> + </item> + </layout> + </widget> + <resources/> + <connections> + <connection> + <sender>jediAutocompletionCheckBox</sender> + <signal>toggled(bool)</signal> + <receiver>jediFuzzyAutocompletionCheckBox</receiver> + <slot>setEnabled(bool)</slot> + <hints> + <hint type="sourcelabel"> + <x>86</x> + <y>52</y> + </hint> + <hint type="destinationlabel"> + <x>103</x> + <y>88</y> + </hint> + </hints> + </connection> + </connections> +</ui>