- /// Is an (at least partial) translation of this language available?
- bool translated() const { return translated_; }
+ /**
+ * Translate a string from the layout files that appears in the output.
+ * It takes the translations from lib/layouttranslations instead of
+ * the .mo files. This should be used for every translation that
+ * appears in the exported document, since the output must not depend
+ * on installed locales. Non-ASCII keys are not translated. */
+ docstring const translateLayout(std::string const & msg) const;