Re: [patch]: bug 4153 (was: Re: [patch] document dialog cosmetics)

[Bo Peng]

>  It's in and open to improvements.

I have moved editing, shortcuts, keyboard/mouse and completion to a
separate category editing in the preference dialog. More fine tune is
needed though.

Bo