OLD | NEW |
1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
2 <!-- | 2 <!-- |
3 -- Copyright (c) 2011 The Chromium Authors. All rights reserved. | 3 -- Copyright (c) 2011 The Chromium Authors. All rights reserved. |
4 -- Use of this source code is governed by a BSD-style license that can be | 4 -- Use of this source code is governed by a BSD-style license that can be |
5 -- found in the LICENSE file. | 5 -- found in the LICENSE file. |
6 --> | 6 --> |
7 <html> | 7 <html> |
8 <head> | 8 <head> |
9 <!-- metrics.js initiates load performance tracking | 9 <!-- metrics.js initiates load performance tracking |
10 so we want to parse it as early as possible --> | 10 so we want to parse it as early as possible --> |
11 <script src="js/metrics.js"></script> | 11 <script src="js/metrics.js"></script> |
| 12 <if expr="0"> |
| 13 <!-- <if ... /if> is removed while flattening HTML. --> |
| 14 <script> |
| 15 // Instruction for enabling loading file manager files remotely (speeds up |
| 16 // development cycle): |
| 17 // |
| 18 // 1. Find the IDR_FILE_MANAGER_MAIN resource in |
| 19 // chrome/browser/resources/component_extension_resources.grd. |
| 20 // Change the "flattenhtml" attribute to false. |
| 21 // |
| 22 // 2. Build and run the Chromium OS. |
| 23 // |
| 24 // 3. Make source files available via the HTTP protocol: |
| 25 // twistd web --path chrome/browser/resources/file_manager --port 1080 |
| 26 // |
| 27 // 4. Open the File Manager. Execute the following JS code in its context |
| 28 // using DevTools: |
| 29 // localStorage['base'] = 'http://youmachine:1080/' |
| 30 // |
| 31 // This will make the File Manager use fresh JS and CSS files from the |
| 32 // development machine. HTML files and JS files for WebWorkers would still |
| 33 // need a rebuild to update. |
12 | 34 |
| 35 if (localStorage['base']) { |
| 36 var base = document.createElement('base'); |
| 37 base.setAttribute('href', localStorage['base']); |
| 38 document.head.appendChild(base); |
| 39 } |
| 40 </script> |
| 41 </if> |
13 <script> | 42 <script> |
14 // Resources from shared locations are loaded dynamically, so we can | 43 // Resources from shared locations are loaded dynamically, so we can |
15 // get them from file:// when running as a normal web page, and from | 44 // get them from file:// when running as a normal web page, and from |
16 // chrome://resources/ when compiled directly into chrome. | 45 // chrome://resources/ when compiled directly into chrome. |
17 var css = | 46 var css = |
18 ['dialogs.css', | 47 ['dialogs.css', |
19 'list.css', | 48 'list.css', |
20 'table.css', | 49 'table.css', |
21 'menu.css' | 50 'menu.css' |
22 ]; | 51 ]; |
(...skipping 145 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
168 visibleif='this.dialogType_ == "saveas-file"'> | 197 visibleif='this.dialogType_ == "saveas-file"'> |
169 <div class=horizontal-spacer></div> | 198 <div class=horizontal-spacer></div> |
170 <button class=ok disabled tabindex=2>[OK]</button> | 199 <button class=ok disabled tabindex=2>[OK]</button> |
171 <button class=cancel tabindex=3 i18n-content=CANCEL_LABEL | 200 <button class=cancel tabindex=3 i18n-content=CANCEL_LABEL |
172 >[CANCEL]</button> | 201 >[CANCEL]</button> |
173 </div> | 202 </div> |
174 | 203 |
175 <script>init();</script> | 204 <script>init();</script> |
176 </body> | 205 </body> |
177 </html> | 206 </html> |
OLD | NEW |