RE: [PHP-DEV] phps line numbering

2006-03-17 Thread Jared Williams
> Sorry, I meant to send my first mail to the entire list about > this, but http://pastebin.com works fine here in firefox, > although Jared Williams reported back that it pastes the line > numbers for him. > Version and OS differences perhaps? I don't have a machine to > test IE6, so I'm no

Re: [PHP-DEV] phps line numbering

2006-03-16 Thread Kevin Waterson
This one time, at band camp, Alan Knowles <[EMAIL PROTECTED]> wrote: > Not sure if it's a prefect solution, but this could easily be done: --8< --- snip I dont see why line numbering is an issue. If you want to highlight code ala pastebin style, simpley echo hightlight_string($string, 1); or if

Re: [PHP-DEV] phps line numbering

2006-03-16 Thread Robert Deaton
Sorry, I meant to send my first mail to the entire list about this, but http://pastebin.com works fine here in firefox, although Jared Williams reported back that it pastes the line numbers for him. Version and OS differences perhaps? I don't have a machine to test IE6, so I'm not sure about that,

Re: [PHP-DEV] phps line numbering

2006-03-16 Thread Alan Knowles
Not sure if it's a prefect solution, but this could easily be done: function hideNumbers() { var lists = document.getElementsByTagName('ol'); for (var i =0;i

RE: [PHP-DEV] phps line numbering

> > Jared Williams wrote: > > Replacing the list, with divs and using css generated content to > > display the line numbers, cleans up the paste output but won't get > > ... and doesn't work in IE. So no real win here. The semantic > solution would be to use ol/li . Can't use ol/li thou, as t

Re: [PHP-DEV] phps line numbering

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, Jared Williams wrote: > Replacing the list, with divs and using css generated content to display the > line numbers, cleans up the paste output but won't get ... and doesn't work in IE. So no real win here. The semantic solution would be to use

Re: [PHP-DEV] phps line numbering

That other time, at band camp, Kevin Waterson wrote: This one time, at band camp, Aizat Faiz <[EMAIL PROTECTED]> wrote: How about including the patch, and having a php.ini option to enable/disable the line numbering. I dont think this is a good option, perhaps some other trigger file.phps?numb

Re: [PHP-DEV] phps line numbering

This one time, at band camp, Aizat Faiz <[EMAIL PROTECTED]> wrote: > How about including the patch, and having a php.ini option to > enable/disable the line numbering. I dont think this is a good option, perhaps some other trigger file.phps?numbers or something Kevin -- "Democracy is two wol

RE: [PHP-DEV] phps line numbering

> > Patches have been written and languish simply awaiting inclusion in > > HEAD > > Johannes' method (..) doesn't copy & > paste well in FireFox 1.5 -- you might consider this a FF > problem, but in any case, line numbers are pasted, so this is > really a pain for sharing code. > > Un

Re: [PHP-DEV] phps line numbering

Lukas Smith wrote: Ilia Alshanetsky wrote: I'd consider it for PHP6, but not for PHP5.1 at least not at this time. what exactly is the big deal with adding a new optional parameter? i dont really see the huge impact that should push this feature back to the next major php version. its somethi

Re: [PHP-DEV] phps line numbering

Ilia Alshanetsky wrote: I'd consider it for PHP6, but not for PHP5.1 at least not at this time. what exactly is the big deal with adding a new optional parameter? i dont really see the huge impact that should push this feature back to the next major php version. its something that could go int

Re: [PHP-DEV] phps line numbering

> Patches have been written and languish simply awaiting inclusion in HEAD Johannes' method (..) doesn't copy & paste well in FireFox 1.5 -- you might consider this a FF problem, but in any case, line numbers are pasted, so this is really a pain for sharing code. Until a good method is found

Re: [PHP-DEV] phps line numbering

On Wed, 15 Mar 2006, Aizat Faiz wrote: > How about including the patch, and having a php.ini option to enable/disable > the line numbering. NO more ini settings please... and definitely not for something trivial as this. Derick -- Derick Rethans http://derickrethans.nl | http://ez.no | http://

Re: [PHP-DEV] phps line numbering

How about including the patch, and having a php.ini option to enable/disable the line numbering. Kevin Waterson wrote: Addition of line numbering to phps This is a rather simple addition and will be benificial to all who use phps for debugging and/or displaying code. Its a simple diff to zend_h

Re: [PHP-DEV] phps line numbering

arg, I'm wrong - ignore me please -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] phps line numbering

Kevin Waterson schrieb: > Addition of line numbering to phps > This is a rather simple addition and will be benificial to all who use phps > for debugging and/or displaying code. Its a simple diff to zend_highlight.c Hello Kevin, I haven't tested this - but if phps output is numbered, it will be c

Re: [PHP-DEV] phps line numbering

On 3/15/06, Ilia Alshanetsky <[EMAIL PROTECTED]> wrote: > I'd consider it for PHP6, but not for PHP5.1 at least not at this time. I'm definitively for having it in php6. For 5.x, if there is a 5.2, then it could be in too. --Pierre -- PHP Internals - PHP Runtime Development Mailing List To unsu

Re: [PHP-DEV] phps line numbering

Hi Ilia et al., the patch is older than PHP 6 and back then there was nobody interested in committing it so it wasn't brought to HEAD, yet. But I'll do that if the patch itself is being accepted. johannes On Wednesday 15 March 2006 15:46, Ilia Alshanetsky wrote: > I'd consider it for PHP6, but

Re: [PHP-DEV] phps line numbering

I'd consider it for PHP6, but not for PHP5.1 at least not at this time. Ilia Kevin Waterson wrote: Addition of line numbering to phps This is a rather simple addition and will be benificial to all who use phps for debugging and/or displaying code. Its a simple diff to zend_highlight.c Patches