| Index: extensions/renderer/user_script_set.h
|
| diff --git a/extensions/renderer/user_script_set.h b/extensions/renderer/user_script_set.h
|
| index 30711c7832c478872aa2c3d873f6aa724ff9e2eb..578667871ffe8e4bfbfbf89cd6796a84d29c13b6 100644
|
| --- a/extensions/renderer/user_script_set.h
|
| +++ b/extensions/renderer/user_script_set.h
|
| @@ -32,6 +32,9 @@ class UserScriptSet {
|
| public:
|
| class Observer {
|
| public:
|
| + // Called when the set of user scripts is updated. |changed_hosts| contains
|
| + // the hosts whose scripts have been altered. Note that *all* script objects
|
| + // are invalidated, even if they aren't in |changed_hosts|.
|
| virtual void OnUserScriptsUpdated(const std::set<HostID>& changed_hosts,
|
| const UserScriptList& scripts) = 0;
|
| };
|
|
|