missing {args=} in source-highlight filter definition

[getreu]

--- odt.conf.orig 2012-11-30 19:16:26.060538049 +0000 +++ odt.conf 2012-11-30 19:12:35.140548903 +0000 @@ -364,7 +364,7 @@

{title!{id?}}|/text:p [source-filter-style] -ifndef::pygments[source-style=template="source-highlight-block",presubs=(),postsubs=("callouts",),posattrs=("style","language","src_numbered","src_tab"),filter="source-highlight -f odf -s {language} {src_numbered?--line-number} {src_tab?--tab={src_tab}}"] +ifndef::pygments[source-style=template="source-highlight-block",presubs=(),postsubs=("callouts",),posattrs=("style","language","src_numbered","src_tab"),filter="source-highlight -f odf -s {language} {src_numbered?--line-number} {src_tab?--tab={src_tab}} {args=}"] ifdef::pygments[source-style=template="source-highlight-block",presubs=(),postsubs=("callouts",),posattrs=("style","language","src_numbered"),filter="pygmentize -f odf -l {language} {src_numbered?-O linenos=table} {encoding?-O encoding={encoding}} {args=}"] ### DEPRECATED: Pre 8.2.7 filter definition.

[dagwieers]

If you do a pull-request, it will correctly attribute the change to you.

If not, I will apply the patch.

In any case, thanks for the contribution !

[getreu]

It's done, waiting for your approval. Bon week-end Jens