On Mon, Feb 7, 2011 at 9:45 PM, Mr Warper <[email protected]> wrote: > On 02/07/11 20:35 Anthony Lieuallen wrote: >> >> On 02/07/11 14:18, Mr Warper wrote: > > ... >>> >>> ... GM could ... tell the user that he needs to manually update it. >> >> Let's say that a site rearranges their URL structure, and there's an >> update to a script, to change the old @includes to match the new URLs. >> >> Should the user be bothered about this? The list of includes in the >> installed script, and the new script to be installed, are different. > > Of course. I'd prefer to be warned, check it, and realize there's no need to > do anything than the other way round. One easy way to make everyone happy > about this would be an appropriately labeled checkbox in the UI.
I already suggested this approach a couple of days ago[1], but I'm too lazy to file a bug. Maybe you want to show more involvement? ;-) I promise I'll vote for it. [1] http://groups.google.com/group/greasemonkey-users/msg/e381d40cf27432e3 -- You received this message because you are subscribed to the Google Groups "greasemonkey-users" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/greasemonkey-users?hl=en.
