Add theme choices for editor (#2501)

This commit is contained in:
onukura
2020-08-03 00:50:01 +09:00
committed by GitHub
parent 36643bcdd0
commit 29357ae170

View File

@@ -39,6 +39,48 @@
</optgroup>
</select>
</div>
<div class="pull-right">
<select id="theme" class="form-control" style="margin-bottom: 0px; padding: 0px;">
<optgroup label="Editor Theme">
<option value="ambiance">Ambiance</option>
<option value="chaos">Chaos</option>
<option value="chrome">Chrome</option>
<option value="clouds">Clouds</option>
<option value="clouds_midnight">Clouds Midnight</option>
<option value="cobalt">Cobalt</option>
<option value="crimson_editor">Crimson</option>
<option value="dawn">Dawn</option>
<option value="dracula">Dracula</option>
<option value="dreamweaver">Dreamweaver</option>
<option value="eclipse">Eclipse</option>
<option value="github">GitHub</option>
<option value="gob">Gob</option>
<option value="gruvbox">Gruvbox</option>
<option value="idle_fingers">Idle Fingers</option>
<option value="iplastic">Iplastic</option>
<option value="katzenmilch">Katzenmilch</option>
<option value="kr_theme">Kr</option>
<option value="kuroir">Kuroir</option>
<option value="merbivore">Merbivore</option>
<option value="mono_industrial">Mono Industrial</option>
<option selected value="monokai">Monokai</option>
<option value="nord_dark">Nord Dark</option>
<option value="pastel_on_dark">Pastel on Dark</option>
<option value="solarized_dark">Solarized Dark</option>
<option value="solarized_light">Solarized Light</option>
<option value="sqlserver">Sqlserver</option>
<option value="terminal">Terminal</option>
<option value="textmate">Textmate</option>
<option value="tomorrow">Tomorrow</option>
<option value="tomorrow_night">Tomorrow Night</option>
<option value="tomorrow_night_bright">Tomorrow Night Bright</option>
<option value="tomorrow_night_eighties">Tomorrow Night Eighties</option>
<option value="twilight">Twilight</option>
<option value="vibrant_ink">Vibrant Ink</option>
<option value="xcode">Xcode</option>
</optgroup>
</select>
</div>
<div class="btn-group" data-toggle="buttons-radio">
<input type="button" id="btn-code" class="btn btn-default btn-small active" value="Code">
<input type="button" id="btn-preview" class="btn btn-default btn-small" value="Preview">
@@ -86,7 +128,11 @@
$(function(){
$('#editor').text($('#initial').val());
var editor = ace.edit("editor");
editor.setTheme("ace/theme/monokai");
editor.setTheme("ace/theme/" + $('#theme').val());
$('#theme').change(function(){
editor.setTheme("ace/theme/" + $('#theme').val());
});
if(localStorage.getItem('gitbucket:editor:wrap') == 'true'){
editor.getSession().setUseWrapMode(true);