Unified Diff: desktop-options.html
Issue 29565861:
Issue 5803 - rename desktop options page to desktop-options.* (Closed)
Patch Set:
Created Oct. 6, 2017, 6:38 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« background.js ('k')
|
desktop-options.js » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: desktop-options.html |
| =================================================================== |
| rename from options.html |
| rename to desktop-options.html |
| --- a/options.html |
| +++ b/desktop-options.html |
| @@ -21,12 +21,12 @@ |
| <meta charset="utf-8"> |
| <title class="i18n_options_page_title"></title> |
| <link rel="stylesheet" href="skin/common.css"> |
| - <link rel="stylesheet" href="skin/options.css"> |
| + <link rel="stylesheet" href="skin/desktop-options.css"> |
| <script src="ext/common.js"></script> |
| <script src="ext/content.js"></script> |
| <script src="common.js"></script> |
| <script src="i18n.js"></script> |
| - <script src="options.js"></script> |
| + <script src="desktop-options.js"></script> |
| </head> |
| <body data-tab="general"> |
| <!-- Navigation sidebar --> |
« no previous file with comments
|
« background.js ('k')
|
desktop-options.js » ('j')
|
no next file with comments »
