Index: desktop-options.html |
=================================================================== |
copy from options.html |
copy to desktop-options.html |
--- a/options.html |
+++ b/desktop-options.html |
@@ -21,17 +21,17 @@ |
<head> |
<meta charset="utf-8"> |
<link type="text/css" href="jquery-ui/css/smoothness/jquery-ui-1.12.1.custom.css" rel="stylesheet" /> |
<script type="text/javascript" src="jquery-ui/js/jquery-3.2.1.min.js"></script> |
<script type="text/javascript" src="jquery-ui/js/jquery-ui-1.12.1.custom.min.js"></script> |
<script type="text/javascript" src="ext/common.js"></script> |
<script type="text/javascript" src="ext/content.js"></script> |
<script type="text/javascript" src="i18n.js" charset="utf-8"></script> |
-<script type="text/javascript" src="options.js" charset="utf-8"></script> |
+<script type="text/javascript" src="desktop-options.js" charset="utf-8"></script> |
<title>Adblock Plus Options</title> |
<style type="text/css" media="screen"> |
body |
{ |
font-family: Arial, Helvetica, sans-serif; |
font-size: 13px; |
padding: 20px; |
} |