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 |
Vladislav Kaznacheev
2011/11/10 11:35:51
This is from a different patch. Something wrong wi
SeRya
2011/11/10 14:38:59
There is no difference with head in this place.
| |
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 // Since that the File Manager will use frash JS and CSS files. HTML | |
32 // files and JS files for WebWorkers are still need rebuild to update. | |
Vladislav Kaznacheev
2011/11/10 11:35:51
Lets put it this way:
This will make the File Mana
SeRya
2011/11/10 14:38:59
Done.
| |
12 | 33 |
34 if (localStorage['base']) { | |
35 var base = document.createElement('base'); | |
36 base.setAttribute('href', localStorage['base']); | |
37 document.head.appendChild(base); | |
38 } | |
39 </script> | |
40 </if> | |
13 <script> | 41 <script> |
14 // Resources from shared locations are loaded dynamically, so we can | 42 // Resources from shared locations are loaded dynamically, so we can |
15 // get them from file:// when running as a normal web page, and from | 43 // get them from file:// when running as a normal web page, and from |
16 // chrome://resources/ when compiled directly into chrome. | 44 // chrome://resources/ when compiled directly into chrome. |
17 var css = | 45 var css = |
18 ['dialogs.css', | 46 ['dialogs.css', |
19 'list.css', | 47 'list.css', |
20 'table.css', | 48 'table.css', |
21 'menu.css' | 49 'menu.css' |
22 ]; | 50 ]; |
(...skipping 145 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
168 visibleif='this.dialogType_ == "saveas-file"'> | 196 visibleif='this.dialogType_ == "saveas-file"'> |
169 <div class=horizontal-spacer></div> | 197 <div class=horizontal-spacer></div> |
170 <button class=ok disabled tabindex=2>[OK]</button> | 198 <button class=ok disabled tabindex=2>[OK]</button> |
171 <button class=cancel tabindex=3 i18n-content=CANCEL_LABEL | 199 <button class=cancel tabindex=3 i18n-content=CANCEL_LABEL |
172 >[CANCEL]</button> | 200 >[CANCEL]</button> |
173 </div> | 201 </div> |
174 | 202 |
175 <script>init();</script> | 203 <script>init();</script> |
176 </body> | 204 </body> |
177 </html> | 205 </html> |
OLD | NEW |