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