Ben Fritz wrote:
> I implemented two new options to control the feature introduced in my last
> update adding ID attributes to each line, since you found it difficult to
> copy-paste generated code into a larger document when the feature was always
> enabled.
>
> g:html_line_ids allows you to explicitly turn on or off the ids inserted on
> each line (especially useful for when line numbers wouldn't be there at
> all).
>
> g:html_id_expr allows you to insert custom text into the line number IDs and
> also the fold IDs so that you can combine those into a larger document
> without validation errors.
>
> For details, see the updates to syntax.txt included.
Thanks. A quick test shows it no longer add spans when line numbering
is off.
> I made updates based on tag 1189; I know there have been a few versions
> since then. After Vim 7.4 is released I'm thinking about moving my
> development of TOhtml to a standalone repository instead of a branch on a
> Vim clone. When I do this, how do you want me to handle the updates to
> syntax.txt? I could maintain a txt document corresponding to just the TOhtml
> section if you copy it in over the existing section, or I can regularly
> merge in the upstream changes to the entire file.
Since you only change a part of syntax.txt, sending a diff of that file
is simplest for me. For the other files sending the whole file is best.
--
### Hiroshima 45, Chernobyl 86, Windows 95 ###
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
