Andre Poenitz schrieb:

+               if (lang_opts != "")

if (!lang_opts.empty())

Thanks, I've put it in now with this syntax:
http://www.lyx.org/trac/changeset/18238

thanks and regards
Uwe

Reply via email to