Re: phps line numbering
| From: | Kevin Waterson | Date: | Mon, 20 Nov 2006 22:30:00 +0000 |
| Subject: | Re: phps line numbering | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-26687@lists.php.net to get a copy of this message | ||
This one time, at band camp, Johannes Schlüter <johannes@php.net> wrote:
> [^1] If I remember correct the last version of the patch I proposed
> didn't add just one additional parameter but three of them. The first to
> enable the line numbering, the second to enable jumpmarks using <a
> name="" or id="" attributes (I think the latter but am not sure) and a
> third one to give these jumpmarks individual prefixes to allow posting
> multiple numbered code snippets on a single page.
outstading :)
Why not also a parameter to select the beginning line??
so that you might begin the numbering from lin3 number 322
Kind regards
Kevin
--
"Democracy is two wolves and a lamb voting on what to have for lunch.
Liberty is a well-armed lamb contesting the vote."