user.core.edit.edit
| zoom in | edit.zoom_in()
|
| zoom out | edit.zoom_out()
|
| zoom reset | edit.zoom_reset()
|
| find it | edit.find()
|
| next one | edit.find_next()
|
| scroll up | edit.page_up()
|
| scroll down | edit.page_down()
|
| go word left | edit.word_left()
|
| go word right | edit.word_right()
|
| go left | edit.left()
|
| go right | edit.right()
|
| go up | edit.up()
|
| go down | edit.down()
|
| go line start | edit.line_start()
|
| go line end | edit.line_end()
|
| go way left | edit.line_start()
edit.line_start()
|
| go way right | edit.line_end()
|
| go way up | edit.file_start()
|
| go way down | edit.file_end()
|
| go top | edit.file_start()
|
| go bottom | edit.file_end()
|
| go page up | edit.page_up()
|
| go page down | edit.page_down()
|
| select all | edit.select_all()
|
| select line | edit.select_line()
|
| select line start | Select to start of current line |
| select line end | Select to end of current line |
| select left | edit.extend_left()
|
| select right | edit.extend_right()
|
| select up | edit.extend_line_up()
|
| select down | edit.extend_line_down()
|
| select word | edit.select_word()
|
| select word left | edit.extend_word_left()
|
| select word right | edit.extend_word_right()
|
| select way left | edit.extend_line_start()
|
| select way right | edit.extend_line_end()
|
| select way up | edit.extend_file_start()
|
| select way down | edit.extend_file_end()
|
| indent [more] | edit.indent_more()
|
| (indent less | out dent) | edit.indent_less()
|
| clear all | Delete all text in the current document |
| clear line | edit.delete_line()
|
| clear line start | Delete to start of current line |
| clear line end | Delete to end of current line |
| clear left | edit.delete()
|
| clear right | Delete character to the right |
| clear up | edit.extend_line_up()
edit.delete()
|
| clear down | edit.extend_line_down()
edit.delete()
|
| clear word | edit.delete_word()
|
| clear word left | edit.extend_word_left()
edit.delete()
|
| clear word right | edit.extend_word_right()
edit.delete()
|
| clear way left | edit.extend_line_start()
edit.delete()
|
| clear way right | edit.extend_line_end()
edit.delete()
|
| clear way up | edit.extend_file_start()
edit.delete()
|
| clear way down | edit.extend_file_end()
edit.delete()
|
| copy that | edit.copy()
|
| copy all | Copy all text in the current document |
| copy line | Copy current line |
| copy line start | Copy to start of current line |
| copy line end | Copy to end of current line |
| copy word | Copy word under cursor |
| copy word left | Copies the word to the left. |
| copy word right | Copies the word to the right. |
| cut that | edit.cut()
|
| cut all | Cut all text in the current document |
| cut line | Cut current line |
| cut line start | Cut to start of current line |
| cut line end | Cut to end of current line |
| cut word | Cut word under cursor |
| cut word left | Cuts the word to the left. |
| cut word right | Cuts the word to the right. |
| (pace | paste) that | edit.paste()
|
| (pace | paste) enter | Press enter. |
| paste match | edit.paste_match_style()
|
| (pace | paste) all | Paste to the current document |
| (pace | paste) line | Paste to current line |
| (pace | paste) line start | Paste to start of current line |
| (pace | paste) line end | Paste to end of current line |
| (pace | paste) word | Paste to word under cursor |
| clone that | edit.selection_clone()
|
| clone line | edit.line_clone()
|
| new line above | edit.line_insert_up()
|
| new line below | slap | edit.line_insert_down()
|
| (pad | padding) | Insert `before + after`, leaving cursor between `before` and `after`. Not entirely reliable if `after` contains newlines. |
| (pad | padding) <user.symbol_key>+ | Insert text at the current cursor position Insert a list of strings, sequentially. Insert text at the current cursor position |
| undo that | edit.undo()
|
| redo that | edit.redo()
|
| file save | edit.save()
|
| file save all | edit.save_all()
|