Re: [PATCH 3654: disable numbering options when numberside=none

[Jürgen Spitzmüller]

Bo Peng wrote:
> If you can smuggle my code with your patch, I do not have to wait two OKs.
> :-)

I'll do that. It's obvious enough.

Jürgen