Not really driven by bug 1006, just a general request to disable duplicate title numbering. Patch coming..
Created attachment 539 [details] patch v1 I know it's not really a theme-related option, but I couldn't find a better place for this.
Enabeling this patch via rc.xml would be quite nice! What are the chances of it happening?
pretty good since i disabled the numbers in my tree about 10 minutes after xor added them to cvs.
Created attachment 539 [details] patch v1 I know it's not really a theme-related option, but I couldn't find a better place for this.