Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| editing:navigation:go-to-previous-position [2014/02/09 01:50] – external edit 127.0.0.1 | editing:navigation:go-to-previous-position [2018/01/10 20:42] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ^ Default Shortcut | none | | ^ Default Shortcut | none | | ||
| - | The purpose of //Go To Previous/ | + | The purpose of //Go To Previous/ |
| - | Anchors are only stored in some commands as Go To, Find, Page Up/Down etc. So commands which can cause **big** jumps. Common movements of cursor to right/left are not stored. Mouse clicks are also stored as " | + | Anchors are only stored in some commands as "Go To", Find, Page Up/Down etc. So commands which can cause **big** jumps. Common movements of a cursor to right/left are not stored. Mouse clicks are also stored as " |
| In addition to mentioned behavior, editor skips minor changes even for noted jumps, to reduce history size but have it in brief kind: | In addition to mentioned behavior, editor skips minor changes even for noted jumps, to reduce history size but have it in brief kind: | ||
| - | * if distance between last anchor in history to new less then two lines | + | * if distance between |
| * if delay between jumps is less then [[options: | * if delay between jumps is less then [[options: | ||
| - | Currently Navigation history is only work inside of one document, but it is planned to add document through navigation some when. | + | Currently, Navigation history is only working |
| #command | #command | ||