OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2011 Google Inc. All rights reserved. | 2 * Copyright (C) 2011 Google Inc. All rights reserved. |
3 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. | 3 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. |
4 * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com). | 4 * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com). |
5 * Copyright (C) 2009 Joseph Pecoraro | 5 * Copyright (C) 2009 Joseph Pecoraro |
6 * | 6 * |
7 * Redistribution and use in source and binary forms, with or without | 7 * Redistribution and use in source and binary forms, with or without |
8 * modification, are permitted provided that the following conditions | 8 * modification, are permitted provided that the following conditions |
9 * are met: | 9 * are met: |
10 * | 10 * |
(...skipping 802 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
813 var methods = WebInspector._postUpdateHandlers.get(object); | 813 var methods = WebInspector._postUpdateHandlers.get(object); |
814 if (!methods) { | 814 if (!methods) { |
815 methods = new Map(); | 815 methods = new Map(); |
816 WebInspector._postUpdateHandlers.put(object, methods); | 816 WebInspector._postUpdateHandlers.put(object, methods); |
817 } | 817 } |
818 methods.put(method); | 818 methods.put(method); |
819 } | 819 } |
820 | 820 |
821 ;(function() { | 821 ;(function() { |
822 | 822 |
823 /** | |
824 * @this {Window} | |
825 */ | |
826 function windowLoaded() | 823 function windowLoaded() |
827 { | 824 { |
828 window.addEventListener("focus", WebInspector._windowFocused, false); | 825 window.addEventListener("focus", WebInspector._windowFocused, false); |
829 window.addEventListener("blur", WebInspector._windowBlurred, false); | 826 window.addEventListener("blur", WebInspector._windowBlurred, false); |
830 document.addEventListener("focus", WebInspector._focusChanged.bind(this), tr
ue); | 827 document.addEventListener("focus", WebInspector._focusChanged, true); |
831 document.addEventListener("blur", WebInspector._documentBlurred.bind(this),
true); | 828 document.addEventListener("blur", WebInspector._documentBlurred, true); |
832 window.removeEventListener("DOMContentLoaded", windowLoaded, false); | 829 window.removeEventListener("DOMContentLoaded", windowLoaded, false); |
833 } | 830 } |
834 | 831 |
835 window.addEventListener("DOMContentLoaded", windowLoaded, false); | 832 window.addEventListener("DOMContentLoaded", windowLoaded, false); |
836 | 833 |
837 })(); | 834 })(); |
OLD | NEW |