> 4233 min GUI bug in box dialog > > patch from Uwe. Can go in (not the one for 3242, though).
It's in. There is only one open documentation issue: http://www.mail-archive.com/lyx-devel@lists.lyx.org/msg127198.html (see UserGuide.lyx, section B.4.1 Language) Somebody must know where this option is for! It's a bit embarassing that we can't currently describe it. regards Uwe