src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7
changeset 10135
36839e2c6945
parent 9567
0c491346bb8e
child 10257
904c71a0e37f
--- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui	Tue Jul 25 13:14:27 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui	Tue Jul 25 16:41:52 2023 +0200
@@ -385,7 +385,7 @@
     </widget>
    </item>
    <item>
-    <widget class="QGroupBox" name="groupBox">
+    <widget class="QGroupBox" name="commentsGroupBox">
      <property name="title">
       <string>Comments</string>
      </property>
@@ -407,7 +407,7 @@
     </widget>
    </item>
    <item>
-    <widget class="QGroupBox" name="groupBox_3">
+    <widget class="QGroupBox" name="docstringGroupBox">
      <property name="title">
       <string>Docstring</string>
      </property>
@@ -509,7 +509,7 @@
     </widget>
    </item>
    <item>
-    <widget class="QGroupBox" name="groupBox_2">
+    <widget class="QGroupBox" name="virtualSpaceGroupBox">
      <property name="title">
       <string>Virtual Space</string>
      </property>

eric ide

mercurial