src/eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.ui

Mon, 07 Nov 2022 17:19:58 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Mon, 07 Nov 2022 17:19:58 +0100
branch
eric7
changeset 9482
a2bc06a54d9d
parent 9209
b99e7fd55fd3
permissions
-rw-r--r--

Corrected/acknowledged some bad import style and removed some obsolete code.

<?xml version="1.0" encoding="UTF-8"?>
<ui version="4.0">
 <class>EditorMouseClickHandlerJediPage</class>
 <widget class="QWidget" name="EditorMouseClickHandlerJediPage">
  <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>&lt;b&gt;Configure Jedi Mouse Click Handler Support&lt;/b&gt;</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="jediClickHandlerCheckBox">
     <property name="toolTip">
      <string>Select, whether the jedi mouse click handler support shall be enabled.</string>
     </property>
     <property name="text">
      <string>Enable Mouse Click Handler</string>
     </property>
    </widget>
   </item>
   <item>
    <widget class="QGroupBox" name="groupBox">
     <property name="title">
      <string>Go To Definition</string>
     </property>
     <layout class="QHBoxLayout" name="horizontalLayout">
      <item>
       <widget class="QLabel" name="label">
        <property name="text">
         <string>Click Sequence:</string>
        </property>
       </widget>
      </item>
      <item>
       <widget class="QLineEdit" name="gotoClickEdit">
        <property name="focusPolicy">
         <enum>Qt::NoFocus</enum>
        </property>
        <property name="toolTip">
         <string>Shows the mouse click sequence</string>
        </property>
        <property name="readOnly">
         <bool>true</bool>
        </property>
       </widget>
      </item>
      <item>
       <widget class="QPushButton" name="changeGotoButton">
        <property name="toolTip">
         <string>Press to open a dialog to configure the mouse click sequence</string>
        </property>
        <property name="text">
         <string>Change...</string>
        </property>
       </widget>
      </item>
     </layout>
    </widget>
   </item>
   <item>
    <spacer name="verticalSpacer">
     <property name="orientation">
      <enum>Qt::Vertical</enum>
     </property>
     <property name="sizeHint" stdset="0">
      <size>
       <width>20</width>
       <height>147</height>
      </size>
     </property>
    </spacer>
   </item>
  </layout>
 </widget>
 <resources/>
 <connections/>
</ui>

eric ide

mercurial