Re: highlight_[file|string] and line numbers
| From: | Andrey Demenev | Date: | Mon, 14 Mar 2005 11:24:32 +0000 |
| Subject: | Re: highlight_[file|string] and line numbers | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-15425@lists.php.net to get a copy of this message | ||
> The first reaction of most people
> (including me) was "no" since you can't copy&paste the code but after
> thinking I found out that <ol> works really fine.
Not really fine, at least Mozilla 1.6 and Firefox 0.9.1 copy line numbers
On Mon, 14 Mar 2005 09:29:45 +0100, Jakub Vrana <vrana@php.net> wrote:
> Marcus Boerger wrote:
> > To make this thing work on more then the newest software out i should be
> > <a name="[id]" /> since id was introduced first with html 4.0 and prior
> > to this only a could become a target using the name attribute.
>
> There's a table with support of <div id> VS <a name> in particular
> browsers at http://blog.filosof.biz/index.php?p=216 . It's
> in some
> weird language (Czech IMHO) but the result is readable well.
>
> If you decide to use <a name>, please use <a name=""></a> instead
> of
> <a name="" /> as the former one is backwards compatible (ancient
> browsers know that <a> is pair tag but don't know anything about XML
> style of closing tags so they may leave <a> open).
>
> Jakub Vrana
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>