Zitat von MaximaleEleganzwürde aber gerne wissen, wieso das entfernt wurde.
Eine Reihe möglicher Gründe findet sich hier:
Manage User scripts - greasemonkey -users | Google Groups
What was the reason for the change?
http://groups.google.com/group/greasemo…ef6cf7ce0791528
http://groups.google.com/group/greasemo…a348ec093b29ddc
Zitat> there were several reasons for this change
Generally correct. Plus the long standing issue of the strange fact
that Greasemonkey would always re-load changed source code, but not
changed metadata, when the file is (e.g.) edited. Now, any change to
the whole file is read and used, including adding a @resource or
@require (a feature that I find very useful).
Gruß gammaburst