equal
deleted
inserted
replaced
10 snippets.NetworkStatusChromeId.externalMouseEvent.connect(this.handleExternalMouseEvent.bind(this)); |
10 snippets.NetworkStatusChromeId.externalMouseEvent.connect(this.handleExternalMouseEvent.bind(this)); |
11 |
11 |
12 // Watch for page load errors. |
12 // Watch for page load errors. |
13 window.pageController.pageLoadFailed.connect( |
13 window.pageController.pageLoadFailed.connect( |
14 function() { |
14 function() { |
15 if (!window.pageController.loadCanceled ) { |
15 if (!window.pageController.loadCanceled ) { |
16 update(); |
16 if (window.pageController.errorUrlMatches) { |
17 showNetworkStatus(); |
17 update(); |
|
18 showNetworkStatus(); |
18 } |
19 } |
|
20 } |
19 } |
21 } |
20 ); |
22 ); |
21 } |
23 } |
22 |
24 |
23 //! Add text to the given DOM element, truncate it at the given width (in pixels). |
25 //! Add text to the given DOM element, truncate it at the given width (in pixels). |