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()
|