eric6/Preferences/ConfigurationPages/EditorStylesPage.ui

changeset 6966
7f529a3007b0
parent 6942
2602857055c5
child 7537
4e2d6b12f67c
diff -r 3e7fef57729f -r 7f529a3007b0 eric6/Preferences/ConfigurationPages/EditorStylesPage.ui
--- a/eric6/Preferences/ConfigurationPages/EditorStylesPage.ui	Sun Apr 21 10:52:10 2019 +0200
+++ b/eric6/Preferences/ConfigurationPages/EditorStylesPage.ui	Sun Apr 21 15:09:31 2019 +0200
@@ -1760,7 +1760,7 @@
       <item>
        <widget class="QGroupBox" name="groupBox_16">
         <property name="title">
-         <string>Colours</string>
+         <string>Marker Colours</string>
         </property>
         <layout class="QGridLayout" name="gridLayout_9">
          <item row="0" column="0">

eric ide

mercurial