Say high-intensity, not highlight

geany · Jul 10, 2016 · 658cf37 · 658cf37
1 parent 5d8d208
commit 658cf37
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/data/geany.glade b/data/geany.glade
@@ -6129,7 +6129,7 @@
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
-                                <property name="tooltip_text" translatable="yes">Whether to use bold fonts when printing characters having highlight attributes</property>
+                                <property name="tooltip_text" translatable="yes">Whether to use bold fonts when printing characters having the high-intensity attribute</property>
                                 <property name="draw_indicator">True</property>
                               </object>
                               <packing>

diff --git a/doc/geany.txt b/doc/geany.txt
@@ -2716,7 +2716,8 @@ Don't use run script
     like a Python console (e.g. ipython). Use this with care.
 
 Draw intense colors in bold fonts
-    Use bold fonts when printing characters that have the highlight attribute.
+    Use bold fonts when printing characters that have the high-intensity
+    attribute.
 
 
 Project management