changeset 31308:2ec8fbbcd053

new unique key name for current line color (bug #62984) * gui-preferences-ed.h: new name for current editor line color that differs from the one that was used previously
author Torsten Lilge <ttl-octave@mailbox.org>
date Sat, 15 Oct 2022 15:50:33 +0200
parents 94dc0f5ba8a3
children 3ea3b3956336
files libgui/src/gui-preferences-ed.h
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/gui-preferences-ed.h	Sat Oct 15 09:41:44 2022 -0400
+++ b/libgui/src/gui-preferences-ed.h	Sat Oct 15 15:50:33 2022 +0200
@@ -144,7 +144,7 @@
 ed_highlight_current_line ("editor/highlightCurrentLine", QVariant (true));
 
 const gui_pref
-ed_highlight_current_line_color ("editor/highlight_current_line_color",
+ed_highlight_current_line_color ("editor/highlightCurrentLineColor",
                                  QVariant (settings_color_no_change));
 
 const gui_pref