2f4da37fdb
Popup: * Enforce 200-800px range for the popup width option Manage: * faster search via cachedStyles.byId * faster restoration of search results on history nav * style name is clickable and opens the editor * animated highlight of style element on update/add/save * expandable extra applies-to targets * remember scroll position on normal history navigation * boz-sizing in #header, also in editor * applies-to targets use structured markup * get*Tab*, enableStyle and deleteStyle are promisified
63 lines
1.7 KiB
HTML
63 lines
1.7 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<title>Stylus Options</title>
|
|
<link rel="stylesheet" href="index.css">
|
|
<script src="../localization.js"></script>
|
|
</head>
|
|
|
|
<body>
|
|
<h1 i18n-text="optionsCustomize"></h1>
|
|
<table>
|
|
<tbody>
|
|
<tr>
|
|
<td i18n-text="optionsBadgeNormal"></td>
|
|
<td><input type="color" id="badgeNormal"></td>
|
|
</tr>
|
|
<tr>
|
|
<td i18n-text="optionsBadgeDisabled"></td>
|
|
<td><input type="color" id="badgeDisabled"></td>
|
|
</tr>
|
|
<tr>
|
|
<td i18n-text="optionsPopupWidth"></td>
|
|
<td><input type="number" id="popupWidth" min="200" max="800"></td>
|
|
</tr>
|
|
<tr>
|
|
<td i18n-text="optionsUpdateInterval"><sup>1</sup></td>
|
|
<td><input type="number" min="0" id="updateInterval"></td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
<div>
|
|
<button id="save">Save</button>
|
|
<span id="status"></span>
|
|
</div>
|
|
|
|
<h1 i18n-text="optionsActions"></h1>
|
|
<table>
|
|
<tbody>
|
|
<tr>
|
|
<td i18n-text="optionsOpenManager"><sup>2</sup></td>
|
|
<td><button type="button" data-cmd="open-manage" i18n-text="optionsOpen"></button></td>
|
|
</tr>
|
|
<tr>
|
|
<td i18n-text="optionsCheckUpdate"></td>
|
|
<td>
|
|
<span id="update-counter"></span>
|
|
<button type="button" data-cmd="check-updates" i18n-text="optionsCheck"></button>
|
|
</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
<div class="notes">
|
|
<hr>
|
|
1: <span i18n-text="optionsUpdateIntervalNote"></span>
|
|
<br>
|
|
2: <span i18n-text="optionsOpenManagerNote"></span>, <a href="#" data-cmd="open-keyboard">chrome://extensions/configureCommands</a>
|
|
</div>
|
|
|
|
<script src="/messaging.js"></script>
|
|
<script src="index.js"></script>
|
|
</body>
|
|
</html>
|