RE: [PHP-DEV] phps line numbering

2006-03-16 Thread Jared Williams
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 that is

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 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 it

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Ilia Alshanetsky
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

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Johannes Schlueter
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

2006-03-15 Thread Pierre
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

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Florian Anderiasch
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

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Florian Anderiasch
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

2006-03-15 Thread Aizat Faiz
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

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Derick Rethans
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 |

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Sean Coates
Patches have been written and languish simply awaiting inclusion in HEAD Johannes' method (olli.../li.../ol) 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

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Lukas Smith
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

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Lukas Smith
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

RE: [PHP-DEV] phps line numbering

2006-03-15 Thread Jared Williams
Patches have been written and languish simply awaiting inclusion in HEAD Johannes' method (olli.../li.../ol) 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.

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Kevin Waterson
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 wolves

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Matthew C. Kavanagh
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

Re: [PHP-DEV] phps line numbering

2006-03-15 Thread Markus Fischer
-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