os << "\\shadowbox{";
break;
case Shaded:
- // must be set later becaue e.g. the width settings only work when
+ // must be set later because e.g. the width settings only work when
// it is inside a minipage or parbox
break;
case Doublebox:
}
-docstring InsetBox::contextMenuName() const
+string InsetBox::contextMenuName() const
{
- return from_ascii("context-box");
+ return "context-box";
}