Pavel Sanda wrote: > 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
Is that on purpose? If yes, why? This looks wrong to me. Georg