2014-03-16 13:34:29 -04:00
|
|
|
extends /templates/modal/modal_base
|
2014-03-14 13:14:48 -04:00
|
|
|
|
2014-03-16 13:34:29 -04:00
|
|
|
block modal-header-content
|
|
|
|
|
h3(data-i18n="play_level.editor_config_title") Editor Configuration
|
|
|
|
|
|
|
|
|
|
block modal-body-content
|
|
|
|
|
.form
|
2014-03-17 14:39:38 -04:00
|
|
|
.form-group.select-group
|
|
|
|
|
label.control-label(for="tome-language" data-i18n="play_level.editor_config_language_label") Programming Language
|
|
|
|
|
select#tome-language(name="language")
|
|
|
|
|
option(value="javascript" selected=(language === "javascript")) JavaScript
|
|
|
|
|
option(value="coffeescript" selected=(language === "coffeescript")) CoffeeScript
|
|
|
|
|
span.help-block(data-i18n="play_level.editor_config_language_description") Define the programming language you want to code in.
|
2014-03-16 13:34:29 -04:00
|
|
|
.form-group.select-group
|
|
|
|
|
label.control-label(for="tome-key-bindings" data-i18n="play_level.editor_config_keybindings_label") Key Bindings
|
2014-03-31 16:00:40 -04:00
|
|
|
select#tome-key-bindings(name="keyBindings")
|
2014-03-16 13:34:29 -04:00
|
|
|
option(value="default" selected=(keyBindings === "default") data-i18n="play_level.editor_config_keybindings_default") Default (Ace)
|
|
|
|
|
option(value="vim" selected=(keyBindings === "vim")) Vim
|
|
|
|
|
option(value="emacs" selected=(keyBindings === "emacs")) Emacs
|
|
|
|
|
span.help-block(data-i18n="play_level.editor_config_keybindings_description") Adds additional shortcuts known from the common editors.
|
|
|
|
|
.form-group.checkbox
|
|
|
|
|
label(for="tome-invisibles")
|
|
|
|
|
input#tome-invisibles(name="invisibles", type="checkbox", checked=invisibles)
|
|
|
|
|
span(data-i18n="play_level.editor_config_invisibles_label") Show Invisibles
|
|
|
|
|
span.help-block(data-i18n="play_level.editor_config_invisibles_description") Displays invisibles such as spaces or tabs.
|
|
|
|
|
.form-group.checkbox
|
|
|
|
|
label(for="tome-indent-guides")
|
|
|
|
|
input#tome-indent-guides(name="indentGuides", type="checkbox", checked=indentGuides)
|
|
|
|
|
span(data-i18n="play_level.editor_config_indentguides_label") Show Indent Guides
|
|
|
|
|
span.help-block(data-i18n="play_level.editor_config_indentguides_description") Displays vertical lines to see indentation better.
|
|
|
|
|
.form-group.checkbox
|
|
|
|
|
label(for="tome-behaviors")
|
|
|
|
|
input#tome-behaviors(name="behaviors", type="checkbox", checked=behaviors)
|
|
|
|
|
span(data-i18n="play_level.editor_config_behaviors_label") Smart Behaviors
|
|
|
|
|
span.help-block(data-i18n="play_level.editor_config_behaviors_description") Autocompletes brackets, braces, and quotes.
|
2014-03-17 14:39:38 -04:00
|
|
|
|
2014-03-16 13:34:29 -04:00
|
|
|
block modal-footer-content
|
|
|
|
|
a(href='#', data-dismiss="modal", aria-hidden="true", data-i18n="modal.close").btn.btn-primary Close
|
