>>>>> "Jürgen" == Jürgen Spitzmüller <[EMAIL PROTECTED]> writes:
Jürgen> http://bugzilla.lyx.org/show_bug.cgi?id=2520 Jürgen> The attached patch does this (I think it's the last remaining Jürgen> non-translatable ui part). I have no idea about the python part, but the rest looks sane. JMarc
