}
};
+
+class ColorSorter
+{
+public:
+ bool operator()(Color::color const & lhs,
+ Color::color const & rhs) const {
+ return lcolor.getGUIName(lhs) < lcolor.getGUIName(rhs);
+ }
+};
+
} // namespace anon
return langs;
}
+
+vector<Color_color> const getSortedColors(vector<Color_color> colors)
+{
+ // sort the colors
+ std::sort(colors.begin(), colors.end(), ColorSorter());
+ return colors;
+}
+
} // namespace frontend
using support::addName;