btw aren't those 22 pixels what you get if you just switch to "big" icons via context menu?pavel
No, those are much bigger. 32 pixels I believe.
Joost
"Pavel Sanda" <sa...@lyx.org> wrote in message
news:20110217230252.ga16...@atrey.karlin.mff.cuni.cz...
