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

[Jürgen Spitzmüller]

Bo Peng wrote:
> Patch attached. OK to apply?

This interferes with my dialog rewrite (translation). Please wait (or I 
integrate your fix into my patch).

Jürgen