2014-07-22 09:38:32 -04:00
|
|
|
script(type="text/ng-template", id="hotkeysModalTemplate")
|
|
|
|
.modal-header
|
|
|
|
button.close(
|
|
|
|
type="button"
|
|
|
|
data-dismiss="modal"
|
|
|
|
ng-click="cancel()"
|
|
|
|
) ×
|
2014-07-31 12:07:43 -04:00
|
|
|
h3 #{translate("hotkeys")}
|
2014-07-22 09:38:32 -04:00
|
|
|
.modal-body.modal-hotkeys
|
2014-07-31 12:07:43 -04:00
|
|
|
h3 #{translate("common")}
|
2014-07-22 09:38:32 -04:00
|
|
|
.row
|
|
|
|
.col-xs-6
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + F
|
|
|
|
span.description Find (and replace)
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + Enter
|
|
|
|
span.description Compile
|
|
|
|
.col-xs-6
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + Z
|
|
|
|
span.description Undo
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + Y
|
|
|
|
span.description Redo
|
|
|
|
|
2014-07-31 12:07:43 -04:00
|
|
|
h3 #{translate("navigation")}
|
2014-07-22 09:38:32 -04:00
|
|
|
.row
|
|
|
|
.col-xs-6
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + Home
|
|
|
|
span.description Beginning of document
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + End
|
|
|
|
span.description End of document
|
|
|
|
.col-xs-6
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + L
|
|
|
|
span.description Go To Line
|
|
|
|
|
2014-07-31 12:07:43 -04:00
|
|
|
h3 #{translate("editing")}
|
2014-07-22 09:38:32 -04:00
|
|
|
.row
|
|
|
|
.col-xs-6
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + /
|
|
|
|
span.description Toggle Comment
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + D
|
|
|
|
span.description Delete Current Line
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + A
|
|
|
|
span.description Select All
|
|
|
|
.col-xs-6
|
|
|
|
.hotkey
|
|
|
|
span.combination Tab
|
|
|
|
span.description Indent Selection
|
|
|
|
.hotkey
|
|
|
|
span.combination {{ctrl}} + U
|
|
|
|
span.description To Uppercase
|
|
|
|
.hotkey
|
|
|
|
span.combination Ctrl + Shift + U
|
|
|
|
span.description To Lowercase
|
|
|
|
.modal-footer
|
|
|
|
button.btn.btn-default(
|
|
|
|
ng-click="cancel()"
|
2014-07-31 12:07:43 -04:00
|
|
|
) #{translate("ok")}
|