}
+bool ColorSorter(ColorCode lhs, ColorCode rhs)
+{
+ return compare_no_case(lcolor.getGUIName(lhs), lcolor.getGUIName(rhs)) < 0;
+}
+
+
void setValid(QWidget * widget, bool valid)
{
if (valid) {
string const expanded_globs = convert_brace_glob(globs);
// Split into individual globs.
- vector<string> matches;
Tokenizer const tokens(expanded_globs, separator);
globs_ = vector<string>(tokens.begin(), tokens.end());
}
return qt_("Graphics");
if (type == "equation")
return qt_("Equations");
+ if (type == "external")
+ return qt_("External material");
if (type == "footnote")
return qt_("Footnotes");
if (type == "listing")
return qt_("Index Entries");
if (type == "marginalnote")
return qt_("Marginal notes");
+ if (type == "math-macro")
+ return qt_("Math macros");
if (type == "nomencl")
return qt_("Nomenclature Entries");
if (type == "note")
return qt_("Branches");
if (type == "change")
return qt_("Changes");
+ if (type == "senseless")
+ return qt_("Senseless");
if (prefixIs(type, "index:")) {
string const itype = split(type, ':');
IndicesList const & indiceslist = bp.indiceslist();