Changes between Initial Version and Version 1 of Ticket #6907, comment 18


Ignore:
Timestamp:
May 12, 2017, 9:38:07 PM (7 years ago)
Author:
ntmlod
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6907, comment 18

    initial v1  
    1 This is exactly what I'm looking for to avoid duplicate numbering from already numbered headings.
     1This is exactly what I'm looking for to avoid duplicate numbering from already numbered headings.\\
     2I have just added the previous code to the current revision of the plugin
    23
    3 I have just add the previous code but render it nicely now.
     4Is there any reason why this patch has not been committed ?
    45
    56{{{#!diff
    … …  
    9495                                      page_resource.id))
    9596}}}
    96 
    97 Is there any reason why this patch has not been committed ?