Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code

Unified Diff: desktop-options.html

Issue 29565861: Issue 5803 - rename desktop options page to desktop-options.* (Closed)
Patch Set: Created Oct. 6, 2017, 4:55 p.m.
Use n/p to move between diff chunks; N/P to move between comments.
Jump to:
View side-by-side diff with in-line comments
Download patch
« background.js ('K') | « background.js ('k') | desktop-options.js » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments 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 -->
« background.js ('K') | « background.js ('k') | desktop-options.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld