[greasemonkey] Re: [Greasemonkey] Gmail problems

[Michael Bierman]

Sure, I can appreciate the problems with doing this--I just wanted to see if
we were in agreement about what *should happen*. Making it happen is
different. :) 

Michael 

-----Original Message-----
From: greasemonkey-bounces at mozdev.org
[mailto:greasemonkey-bounces at mozdev.org] On Behalf Of Nikolas Coukouma
Sent: Thursday, May 26, 2005 6:01 AM
To: greasemonkey at mozdev.org
Subject: Re: [greasemonkey] Re: [Greasemonkey] Gmail problems

Michael Bierman wrote:

>If I make changes to any other part of the script, they take place 
>after refreshing, right?
>
>A) How is this different?
>B) How is a user to know that different parts of the script behave 
>differently?
>
>Michael
>  
>
The more reaslistic problem is that the information needs to
serialized/unserialized repeatedly. I'm not sure how much overhead
re-parsing the metadata would entail, but it shouldn't be bad. The situation
is greatly improved if we start paying attention to mtime.

-Nikolas Coukouma

>-----Original Message-----
>From: greasemonkey-bounces at mozdev.org
>[mailto:greasemonkey-bounces at mozdev.org] On Behalf Of Jeremy Dunck
>Sent: Wednesday, May 25, 2005 6:48 PM
>To: greasemonkey at mozdev.org
>Subject: Re: [greasemonkey] Re: [Greasemonkey] Gmail problems
>
>On 5/25/05, Michael Bierman <michael at thebiermans.net> wrote:
>  
>
>>Ah, thanks. That seems like a bug though...or at least an RFE...
>>
>>Michael
>>    
>>
>
>We talked about it before.  Imagine you've installed a script, and 
>either when you installed or later, you tweaked the include or exclude 
>list, and and some time later you edit the original script.
>
>What would you expect to happen?  Override your interim changes?
>
>I wouldn't want that to happen...
>
>But I also wouldn't want to just remove the @tags from the script, 
>because those are useful default references.
>
>I didn't catch it just because I didn't recognize that you were talking 
>about editing an installed script...
>

_______________________________________________
Greasemonkey mailing list
Greasemonkey at mozdev.org
http://mozdev.org/mailman/listinfo/greasemonkey