- switch (space) {
- case Default: break; // do nothing
- case Single:
- return "\\begin{singlespace}";
- case Onehalf:
- return "\\begin{onehalfspace}";
- case Double:
- return "\\begin{doublespace}";
- case Other:
- {
- ostringstream ost;
- ost << "\\begin{spacing}{"
- << getValueAsString() << '}';
- return ost.str();
- }
- }
- return string();
+ static char const * const env_names[]
+ = { "SingleSpace", "OnehalfSpace", "DoubleSpace", "Spacing", ""};
+ string const name = env_names[space];
+
+ return useSetSpace ? name : support::ascii_lowercase(name);
+}
+
+string cmdName(Spacing::Space space, bool useSetSpace)
+{
+ static char const * const cmd_names[]
+ = { "SingleSpacing", "OnehalfSpacing", "DoubleSpacing", "SetStretch", ""};
+ string const name = cmd_names[space];
+
+ if (useSetSpace && name == "SetStretch")
+ return "setSpacing";
+
+ return useSetSpace ? name : support::ascii_lowercase(name);