| Index: Source/devtools/front_end/platform/DOMExtension.js
|
| diff --git a/Source/devtools/front_end/platform/DOMExtension.js b/Source/devtools/front_end/platform/DOMExtension.js
|
| index d16df0767c6d9fc5e6d1bbfbc617663cf16e06e4..d05900beebcba75503b0278729a234e2445fc911 100644
|
| --- a/Source/devtools/front_end/platform/DOMExtension.js
|
| +++ b/Source/devtools/front_end/platform/DOMExtension.js
|
| @@ -777,3 +777,24 @@ function consumeEvent(e)
|
| {
|
| e.consume();
|
| }
|
| +
|
| +/**
|
| + * @param {!function()} callback
|
| + * @suppressGlobalPropertiesCheck
|
| + */
|
| +function runOnWindowLoad(callback)
|
| +{
|
| + /**
|
| + * @suppressGlobalPropertiesCheck
|
| + */
|
| + function windowLoaded()
|
| + {
|
| + window.removeEventListener("DOMContentLoaded", windowLoaded, false);
|
| + callback();
|
| + }
|
| +
|
| + if (document.readyState === "complete")
|
| + callback();
|
| + else
|
| + window.addEventListener("DOMContentLoaded", windowLoaded, false);
|
| +}
|
|
|