diff --git a/src/frontends/qt4/GuiPrefs.cpp b/src/frontends/qt4/GuiPrefs.cpp index a309380111..9f604ae35e 100644 --- a/src/frontends/qt4/GuiPrefs.cpp +++ b/src/frontends/qt4/GuiPrefs.cpp @@ -757,7 +757,8 @@ namespace { struct ColorSorter { bool operator()(ColorCode lhs, ColorCode rhs) const { - return lcolor.getGUIName(lhs) < lcolor.getGUIName(rhs); + return + compare_no_case(lcolor.getGUIName(lhs), lcolor.getGUIName(rhs)) < 0; } };