manage: shorten "Find editor styles" as "Theme"
This commit is contained in:
parent
6f74cb8b29
commit
fe3f5121e5
|
@ -175,11 +175,11 @@
|
|||
<p>
|
||||
<button id="manage-options-button" i18n-text="openOptionsManage"></button>
|
||||
<button id="manage-shortcuts-button" class="chromium-only" i18n-text="openOptionsShortcuts"></button>
|
||||
<a id="find-editor-styles"
|
||||
href="https://userstyles.org/styles/browse/chrome-extension"
|
||||
i18n-title="editorStylesButton"
|
||||
target="_blank"><button i18n-text="cm_theme"></button></a>
|
||||
</p>
|
||||
<p>
|
||||
<a id="find-editor-styles" i18n-text="editorStylesButton"
|
||||
href="https://userstyles.org/styles/browse/chrome-extension" target="_blank"></a>
|
||||
<p>
|
||||
</div>
|
||||
<div id="backup">
|
||||
<h2 id="backup-title" i18n-text="backupButtons"></h2>
|
||||
|
|
Loading…
Reference in New Issue
Block a user