Georg Baum wrote:
> but if I use the Czech GUI I see that \shortcut{undefined} is translated if
> exported from the GUI, and untranslated if exported from the command line.
> This should not happen.This is because InsetInfo produces output in UI language instead of document language. Pavel
