Re: r32181 - lyx-devel/trunk/lib/ui

[Jürgen Spitzmüller]

Pavel Sanda wrote:
> so we should kill it from trunk?

At least I'm reluctant to propagate it too much in the UI.

Jürgen