Chromium Code Reviews Chromium Code Reviews
Issue 13270005:
Display DNS probe results. (Closed)
Base URL: http://git.chromium.org/chromium/src.git@master| OLD | NEW |
|---|---|
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <html i18n-values="dir:textdirection"> | 2 <html i18n-values="dir:textdirection"> |
| 3 <head> | 3 <head> |
| 4 <if expr="pp_ifdef('android')"> | 4 <if expr="pp_ifdef('android')"> |
| 5 <meta name="viewport" content="width=device-width" /> | 5 <meta name="viewport" content="width=device-width" /> |
| 6 </if> | 6 </if> |
| 7 <title i18n-content="title"> | 7 <title i18n-content="title"> |
| 8 </title> | 8 </title> |
| 9 <style> | 9 <style> |
| 10 body { | 10 body { |
| (...skipping 113 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 124 word-wrap: break-word; | 124 word-wrap: break-word; |
| 125 } | 125 } |
| 126 | 126 |
| 127 #logo-img { | 127 #logo-img { |
| 128 /* "Not allowed to load local resource: chrome://theme/IDR_PRODUCT_LOGO", | 128 /* "Not allowed to load local resource: chrome://theme/IDR_PRODUCT_LOGO", |
| 129 so embed the resource manually. */ | 129 so embed the resource manually. */ |
| 130 content: -webkit-image-set( | 130 content: -webkit-image-set( |
| 131 url('../../app/theme/default_100_percent/%DISTRIBUTION%/product_logo.png') 1x, | 131 url('../../app/theme/default_100_percent/%DISTRIBUTION%/product_logo.png') 1x, |
| 132 url('../../app/theme/default_200_percent/%DISTRIBUTION%/product_logo.png') 2x); | 132 url('../../app/theme/default_200_percent/%DISTRIBUTION%/product_logo.png') 2x); |
| 133 } | 133 } |
| 134 | |
| 135 </style> | 134 </style> |
| 136 </head> | 135 </head> |
| 137 | 136 |
| 138 <script> | 137 <script> |
| 139 /** | 138 /** |
| 140 * Sets the classes of elements to match their jscontent values. | 139 * Sets the classes of elements to match their jscontent values. |
| 141 * Elements without jscontent values are ignored. | 140 * Elements without jscontent values are ignored. |
| 142 * | 141 * |
| 143 * This allows styles to be applied to nested elements from | 142 * This allows styles to be applied to nested elements from |
| 144 * within GRD files. To work on these elements, this must be | 143 * within GRD files. To work on these elements, this must be |
| (...skipping 11 matching lines...) Expand all Loading... | |
| 156 false); | 155 false); |
| 157 | 156 |
| 158 // A grey border and larger font is used when the error page is | 157 // A grey border and larger font is used when the error page is |
| 159 // in the main frame. | 158 // in the main frame. |
| 160 if (window.top.location == window.location) | 159 if (window.top.location == window.location) |
| 161 document.documentElement.setAttribute('main-frame', ''); | 160 document.documentElement.setAttribute('main-frame', ''); |
| 162 | 161 |
| 163 // The border only uses a gradient when using at least 24-bit color. | 162 // The border only uses a gradient when using at least 24-bit color. |
| 164 if (window.screen.colorDepth >= 24) | 163 if (window.screen.colorDepth >= 24) |
| 165 document.documentElement.setAttribute('high-color-depth', ''); | 164 document.documentElement.setAttribute('high-color-depth', ''); |
| 165 | |
| 166 function updateForDnsProbe(strings) { | |
|
Deprecated (see juliatuttle)
2013/04/09 20:35:49
TODO(ttuttle): Update just the summary/suggestions
| |
| 167 jstProcess(new JsEvalContext(strings), document.getElementById('t')); | |
| 168 } | |
| 166 </script> | 169 </script> |
| 167 | 170 |
| 168 <body id="t"> | 171 <body id="t"> |
| 169 <div id="cell"> | 172 <div id="cell"> |
| 170 <div id="box"> | 173 <div id="box"> |
| 171 <h1> | 174 <h1> |
| 172 <img id="logo-img"> | 175 <img id="logo-img"> |
| 173 <span i18n-content="heading"></span> | 176 <span i18n-content="heading"></span> |
| 174 </h1> | 177 </h1> |
| 175 | 178 |
| (...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 218 <span jsvalues=".innerHTML:msg"></span> | 221 <span jsvalues=".innerHTML:msg"></span> |
| 219 </li> | 222 </li> |
| 220 </ul> | 223 </ul> |
| 221 </div> | 224 </div> |
| 222 | 225 |
| 223 <div id="errorDetails" jsselect="details" jscontent="$this"></div> | 226 <div id="errorDetails" jsselect="details" jscontent="$this"></div> |
| 224 </div> | 227 </div> |
| 225 </div> | 228 </div> |
| 226 </body> | 229 </body> |
| 227 </html> | 230 </html> |
| OLD | NEW |
