+docstring const VSpace::asGUIName() const
+{
+ docstring result;
+ switch (kind_) {
+ case DEFSKIP:
+ result = _("Default skip");
+ break;
+ case SMALLSKIP:
+ result = _("Small skip");
+ break;
+ case MEDSKIP:
+ result = _("Medium skip");
+ break;
+ case BIGSKIP:
+ result = _("Big skip");
+ break;
+ case VFILL:
+ result = _("Vertical fill");
+ break;
+ case LENGTH:
+ result = from_ascii(len_.asString());
+ break;
+ }
+ if (keep_)
+ result += ", " + _("protected");
+ return result;
+}
+