2017-02-14 15:35:53 +00:00
|
|
|
<!DOCTYPE html>
|
2017-03-23 03:41:50 +00:00
|
|
|
<html id="stylus">
|
2017-02-14 15:35:53 +00:00
|
|
|
<head>
|
2017-04-10 06:47:09 +00:00
|
|
|
<title i18n-text-append="optionsHeading">Stylus </title>
|
2017-08-27 14:45:15 +00:00
|
|
|
<link rel="stylesheet" href="options/options.css">
|
2017-09-05 21:33:08 +00:00
|
|
|
<link rel="stylesheet" href="options/onoffswitch.css">
|
2017-09-03 20:52:06 +00:00
|
|
|
|
|
|
|
<style id="firefox-transitions-bug-suppressor">
|
|
|
|
/* restrict to FF */
|
|
|
|
@-moz-document url-prefix("") {
|
|
|
|
/* increased specificity to override sane selectors in user styles */
|
|
|
|
html#stylus.firefox #options *, #stylus #notes * {
|
|
|
|
transition: none !important;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
</style>
|
|
|
|
|
2017-07-12 18:52:44 +00:00
|
|
|
<script src="js/dom.js"></script>
|
2017-07-14 00:52:40 +00:00
|
|
|
<script src="js/messaging.js"></script>
|
2017-07-12 18:52:44 +00:00
|
|
|
<script src="js/localization.js"></script>
|
|
|
|
<script src="js/prefs.js"></script>
|
|
|
|
<script src="content/apply.js"></script>
|
2017-02-14 15:35:53 +00:00
|
|
|
</head>
|
|
|
|
|
|
|
|
<body>
|
2017-04-14 07:50:52 +00:00
|
|
|
<div id="options">
|
2017-04-28 23:36:10 +00:00
|
|
|
|
2017-06-28 10:49:04 +00:00
|
|
|
<div class="block">
|
|
|
|
<h1 i18n-text="optionsCustomizeIcon"></h1>
|
|
|
|
<div class="items">
|
|
|
|
<label>
|
|
|
|
<span i18n-text="optionsIconDark"></span>
|
|
|
|
<div class="iconset">
|
|
|
|
<input type="radio" name="iconset">
|
|
|
|
<img src="/images/icon/16.png">
|
|
|
|
<img src="/images/icon/16w.png">
|
|
|
|
<img src="/images/icon/16x.png">
|
|
|
|
</div>
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
<span i18n-text="optionsIconLight"></span>
|
|
|
|
<div class="iconset">
|
|
|
|
<input type="radio" name="iconset">
|
|
|
|
<img src="/images/icon/light/16.png">
|
|
|
|
<img src="/images/icon/light/16w.png">
|
|
|
|
<img src="/images/icon/light/16x.png">
|
|
|
|
</div>
|
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
2017-04-14 07:50:52 +00:00
|
|
|
<div class="block">
|
|
|
|
<h1 i18n-text="optionsCustomizeBadge"></h1>
|
|
|
|
<div class="items">
|
2017-04-28 23:36:10 +00:00
|
|
|
<label>
|
|
|
|
<span i18n-text="prefShowBadge"></span>
|
|
|
|
<span class="onoffswitch">
|
2017-04-29 17:05:42 +00:00
|
|
|
<input type="checkbox" id="show-badge">
|
|
|
|
<span></span>
|
2017-04-28 23:36:10 +00:00
|
|
|
</span>
|
|
|
|
</label>
|
2017-04-14 07:50:52 +00:00
|
|
|
<label>
|
|
|
|
<span i18n-text="optionsBadgeNormal"></span>
|
|
|
|
<input type="color" id="badgeNormal">
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
<span i18n-text="optionsBadgeDisabled"></span>
|
|
|
|
<input type="color" id="badgeDisabled">
|
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
</div>
|
2017-04-28 23:36:10 +00:00
|
|
|
|
2017-04-14 07:50:52 +00:00
|
|
|
<div class="block">
|
|
|
|
<h1 i18n-text="optionsCustomizePopup"></h1>
|
|
|
|
<div class="items">
|
|
|
|
<label>
|
|
|
|
<span i18n-text="optionsPopupWidth"></span>
|
|
|
|
<input type="number" id="popupWidth" min="200" max="800">
|
|
|
|
</label>
|
2017-08-27 13:41:29 +00:00
|
|
|
<label>
|
|
|
|
<span i18n-text="popupOpenEditInWindow"
|
|
|
|
i18n-title="popupOpenEditInWindowTooltip"></span>
|
|
|
|
<span class="onoffswitch">
|
|
|
|
<input type="checkbox" id="openEditInWindow">
|
|
|
|
<span></span>
|
|
|
|
</span>
|
|
|
|
</label>
|
2017-04-14 07:50:52 +00:00
|
|
|
<label>
|
|
|
|
<span i18n-text="popupStylesFirst"></span>
|
|
|
|
<span class="onoffswitch">
|
2017-04-29 17:05:42 +00:00
|
|
|
<input type="checkbox" id="popup.stylesFirst">
|
|
|
|
<span></span>
|
2017-04-14 07:50:52 +00:00
|
|
|
</span>
|
|
|
|
</label>
|
|
|
|
</div>
|
2017-03-28 00:42:07 +00:00
|
|
|
</div>
|
2017-04-28 23:36:10 +00:00
|
|
|
|
2017-04-14 07:50:52 +00:00
|
|
|
<div class="block">
|
|
|
|
<h1 i18n-text="optionsCustomizeUpdate"></h1>
|
|
|
|
<div class="items">
|
|
|
|
<label>
|
|
|
|
<span i18n-text="optionsUpdateInterval"><sup>1</sup></span>
|
|
|
|
<input type="number" min="0" id="updateInterval">
|
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
</div>
|
2017-04-28 23:36:10 +00:00
|
|
|
|
2017-09-09 14:21:17 +00:00
|
|
|
<div class="block collapsible" id="advanced">
|
2017-04-28 23:36:10 +00:00
|
|
|
<h1 i18n-text="optionsAdvanced"></h1>
|
2017-04-14 07:50:52 +00:00
|
|
|
<div class="items">
|
|
|
|
<label>
|
2017-04-28 23:36:10 +00:00
|
|
|
<span i18n-text="optionsAdvancedExposeIframes"> <sup>2</sup></span>
|
|
|
|
<span class="onoffswitch">
|
2017-04-29 17:05:42 +00:00
|
|
|
<input type="checkbox" id="exposeIframes">
|
|
|
|
<span></span>
|
2017-04-28 23:36:10 +00:00
|
|
|
</span>
|
2017-04-29 16:54:16 +00:00
|
|
|
</label>
|
2017-07-31 16:39:10 +00:00
|
|
|
<label class="chromium-only">
|
2017-04-29 16:54:16 +00:00
|
|
|
<span i18n-text="optionsAdvancedContextDelete"></span>
|
|
|
|
<span class="onoffswitch">
|
2017-04-29 17:05:42 +00:00
|
|
|
<input type="checkbox" id="editor.contextDelete">
|
|
|
|
<span></span>
|
2017-04-29 16:54:16 +00:00
|
|
|
</span>
|
2017-04-14 07:50:52 +00:00
|
|
|
</label>
|
2017-10-08 15:26:23 +00:00
|
|
|
<label>
|
2017-10-08 16:52:05 +00:00
|
|
|
<span i18n-text="optionsAdvancedNewStyleInUsercss"></span>
|
|
|
|
<span class="onoffswitch">
|
|
|
|
<input type="checkbox" id="newStyleInUsercss">
|
|
|
|
<span></span>
|
|
|
|
</span>
|
2017-10-08 15:26:23 +00:00
|
|
|
</label>
|
2017-04-28 23:36:10 +00:00
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="block" id="actions">
|
|
|
|
<button data-cmd="reset" i18n-text="optionsResetButton" i18n-title="optionsReset"></button>
|
2017-04-29 16:27:42 +00:00
|
|
|
<button data-cmd="open-manage" i18n-text="optionsOpenManager"></button>
|
2017-04-28 23:36:10 +00:00
|
|
|
<div data-cmd="check-updates">
|
|
|
|
<button i18n-text="optionsCheck" i18n-title="optionsCheckUpdate">
|
|
|
|
<span id="update-progress"></span>
|
|
|
|
</button>
|
2017-04-14 15:30:09 +00:00
|
|
|
<div id="updates-installed" i18n-text="updatesCurrentlyInstalled"></div>
|
2017-04-14 07:50:52 +00:00
|
|
|
</div>
|
2017-04-29 17:58:53 +00:00
|
|
|
<button data-cmd="open-keyboard" class="chromium-only" i18n-text="shortcuts" i18n-title="shortcutsNote"></button>
|
2017-04-14 07:50:52 +00:00
|
|
|
</div>
|
2017-03-28 00:42:07 +00:00
|
|
|
</div>
|
|
|
|
|
|
|
|
<div id="notes">
|
|
|
|
<ol>
|
2017-04-27 11:39:51 +00:00
|
|
|
<li>
|
|
|
|
<p i18n-text="optionsUpdateIntervalNote"></p>
|
|
|
|
<p i18n-text="optionsUpdateImportNote"></p>
|
|
|
|
</li>
|
2017-04-28 23:36:10 +00:00
|
|
|
<li i18n-text="optionsAdvancedExposeIframesNote"></li>
|
2017-03-28 00:42:07 +00:00
|
|
|
</ol>
|
2017-02-14 15:35:53 +00:00
|
|
|
</div>
|
|
|
|
|
2017-08-27 14:45:15 +00:00
|
|
|
<script src="options/options.js"></script>
|
2017-02-14 15:35:53 +00:00
|
|
|
</body>
|
|
|
|
</html>
|