2014-03-13 19:54:06 -04:00
|
|
|
.modal-dialog
|
|
|
|
|
.modal-header
|
|
|
|
|
button(type='button', data-dismiss="modal", aria-hidden="true").close ×
|
2014-03-13 22:26:53 -04:00
|
|
|
h3(data-i18n="play_level.editor_config_title") Editor Configuration
|
2014-03-13 19:54:06 -04:00
|
|
|
|
|
|
|
|
.modal-body
|
|
|
|
|
.form
|
2014-03-13 22:26:53 -04:00
|
|
|
.form-group.select-group
|
|
|
|
|
label.control-label(for="keyBindings" data-i18n="play_level.editor_config_keybindings_label") Key Bindings
|
2014-03-13 19:54:06 -04:00
|
|
|
select#keyBindings(name="keyBindings", type="checkbox", checked=multiplayer)
|
2014-03-13 22:26:53 -04:00
|
|
|
option(value="default" selected=(keyBindings === "default") data-i18n="play_level.editor_config_keybindings_default") Default (Ace)
|
2014-03-13 19:54:06 -04:00
|
|
|
option(value="vim" selected=(keyBindings === "vim")) Vim
|
|
|
|
|
option(value="emacs" selected=(keyBindings === "emacs")) Emacs
|
2014-03-13 22:26:53 -04:00
|
|
|
span.help-block(data-i18n="play_level.editor_config_keybindings_description") Adds additional shortcuts known from the common editors.
|
2014-03-13 19:54:06 -04:00
|
|
|
.form-group.checkbox
|
|
|
|
|
label(for="invisibles")
|
|
|
|
|
input#invisibles(name="invisibles", type="checkbox", checked=invisibles)
|
2014-03-13 22:26:53 -04:00
|
|
|
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.
|
2014-03-13 19:54:06 -04:00
|
|
|
.form-group.checkbox
|
|
|
|
|
label(for="indentGuides")
|
|
|
|
|
input#indentGuides(name="indentGuides", type="checkbox", checked=indentGuides)
|
2014-03-13 22:26:53 -04:00
|
|
|
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.
|
2014-03-13 19:54:06 -04:00
|
|
|
|
|
|
|
|
.modal-footer
|
|
|
|
|
a(href='#', data-dismiss="modal", aria-hidden="true", data-i18n="modal.close").btn.btn-primary Close
|
