case LDOTS: command = "\\ldots{}"; break;
case MENU_SEPARATOR: command = "\\menuseparator"; break;
case PROTECTED_SEPARATOR:
- command = "\\protected_separator"; break;
+ //command = "\\protected_separator";
+ command = "~";
+ break;
}
os << "\\SpecialChar " << command << "\n";
}
kind = LDOTS;
else if (command == "\\menuseparator")
kind = MENU_SEPARATOR;
- else if (command == "\\protected_separator")
+ else if (command == "\\protected_separator"
+ || command == "~")
kind = PROTECTED_SEPARATOR;
else
lex.printError("InsetSpecialChar: Unknown kind: `$$Token'");