Ben Allen wrote: > Does anyone know how to solve this problem? This is bug #5096.
A workaround is to add \selectlanguage{english} in ERT at the very beginning of the paragraph following the environments in question. Jürgen
Ben Allen wrote: > Does anyone know how to solve this problem? This is bug #5096.
A workaround is to add \selectlanguage{english} in ERT at the very beginning of the paragraph following the environments in question. Jürgen