- switch (space) {
- case Default: break; // do nothing
- case Single:
- return (useSetSpace ? "\\begin{SingleSpace}"
- : "\\begin{singlespace}");
- case Onehalf:
- return (useSetSpace ? "\\begin{OnehalfSpace}"
- : "\\begin{onehalfspace}");
- case Double:
- return (useSetSpace ? "\\begin{DoubleSpace}"
- : "\\begin{doublespace}");
- case Other:
- {
- ostringstream ost;
- ost << (useSetSpace ? "\\begin{Spacing}{"
- : "\\begin{spacing}{" )
- << getValueAsString() << '}';
- return ost.str();
- }
- }
- return string();
+ string const name = envName(space, useSetSpace);
+ if (space == Other)
+ return "\\begin{" + name + "}{" + getValueAsString() + '}';
+ else
+ return name.empty() ? string() : "\\begin{" + name + '}';