Am 24.11.2011 10:07, schrieb Ben:
I can specify the domain patterns for which a certain GM script should
be applied.
As far as I know I can do this on the "User Settings" tab in Manage
Scripts Addon or even in the script itself in the
@include
header tag. Do they have the same meaning?
If not: What are the differences?
Ben
The "user settings" are only stored locally to override @include or
@exclude rules in the script file. They only apply to your Firefox
profile and won't appear as @include or @exclude rules in the file. The
rules in the file apply immediately after you saved the changes in the
script file. However they only become visible in the settings-list if
you re-open the Add-on-Manager after you changed anything, because those
lists are only loaded once.
An example for usage of user-specific override rules:
Say, some script replaces every text larger than 20px height with text
that is 20px high because you hate large fonts. This script is included
for "http://*";, thus to every domain. You could now have a page
example.com where you want those large letters because you need them, so
you would add example.com as user-exclude. Now assume you know any
https-page where you want the large letters downsized, too, so you'd add
the rule https://* as user-include rule.
Note that this is an example and personally I'd not recommend to include
any external script for any https-page, but well ;)
Chris
--
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.
