On Wed, 18 Sep 2002, Mike Robinson wrote:
>I for one have no use for line numbers in a phps file.
>I do have use for being able to copy/paste out of phps
Good point. Let's forget it then. :)
>files, which would stop working with line numbers there.
>Some folks use phps files to distribute snippets and
>stuff.
>
>Can't this be option, default off (current behaviour)?
"No more options" is the current policy.. :)
But for this it propably is okay.
Maybe just have the line numbers as optional parameter
for the highlight funcs..?
--Jani
>Regards
>Mike Robinson
>
>
>-----Original Message-----
>From: Rick Widmer [mailto:[EMAIL PROTECTED]]
>Sent: Wednesday, September 18, 2002 4:20 PM
>To: Jani Taskinen; Devon O'Dell
>Cc: Yasuo Ohgaki; [EMAIL PROTECTED]
>Subject: Re: [PHP-DEV] Patches and Extensions and Such
>
>
>At 10:12 PM 9/18/02 +0300, Jani Taskinen wrote:
>
>> I was just thinking that .phps support is there to
>> just show source of some php file. I don't think it's
>> really any BC problem to always have line numbering on
>> for them. And have an optional parameter to the PHP function
>> to show those numbers if wanted.
>
>I agree! Has ANYONE given a good reason why .phps should not ALWAYS
>have line numbers turned on. ?HIGHLIGHT_FORMAT is a hassle and likeley
>to be forgotten when you need it most. People who don't use .phps have
>no business in making this decision. You are free to disable it on your
>system and
>ignore it.
>
>
> I don't understand what's the big deal about this thing anyway?
>> It's nice new feature.
>It sure is!
>
>Rick
>
>
>
--
<- For Sale! ->
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, visit: http://www.php.net/unsub.php
