| 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; |
| } |