diff options
| author | Martin Junghanns | 2021-11-24 06:26:55 +0000 |
|---|---|---|
| committer | GitHub | 2021-11-24 06:26:55 +0000 |
| commit | 57c14d4a9315aecc1be0c8f268e7dd3d541c1480 (patch) | |
| tree | cac146a3589a128aabd537c149dcb46df99923ac /book | |
| parent | 21143e8d22c13ead8c1835063acb518aa5a42822 (diff) | |
Add `:<line>` and `:goto <line>` commands (#1128)
* Add typable `goto` command
* Support `:<line-number>` on prompt
* Rename function according to convention
* Directly call into goto_line_number function
Diffstat (limited to 'book')
0 files changed, 0 insertions, 0 deletions