Home » Text » Text_Highlighter » Bug #7077
[PATCH] Extend functionality
Details
| Request #7077 | [PATCH] Extend functionality |
|---|---|
| Submitted | 2006-03-09 17:22 UTC |
| From | tasin at fhm dot edu |
| Assigned | stoyan |
| Status | Closed |
| Package | Text_Highlighter |
| PHP Version | 4.4.1 |
| OS | Linux |
| Roadmaps | (Not assigned) |
Comments
[2006-03-09 17:22 UTC] tasin at fhm dot edu
Description:
------------
Hello,
I made a patch to give Text_Highlighter some settings and make it more usable for me.
Please look at http://pc01-lsw.ee.fhm.edu/wiki/Horde/WickedAndTextHighlighter . There you can download Html.diff
It contains the following enhancements:
- giving a start value for line numbering
- make it possible to pass an optional map with style information (instead of class names) to the renderer
- make it possible to pass a css name map to it (optional, too)
- make <pre>-tag working with line-numbered output (same tag encapsulation as w/o line numbers)
- setting "hl-main" class name before <pre>-tag, even for line-numbered output. (I think this is useful for css-files using ".hl-main pre" w/o considering if the output is with line numbers or not.)
Please have also a look at:
http://pear.php.net/bugs/bug.php?id=4230
Hope this patch is useful
Ciao
Walter