On Wed, Nov 01, 2006 at 03:21:13PM +0100, Abdelrazak Younes wrote: > But quite frankly, I don't understand what's so bad about letting the > user change the cursor width.
If anywhere, it belongs in a desktop-wide preference, not LyX doing its own thing. (And yes, same applies to colours: ideally we would be using native widgets.) john