Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| view:indicator-margin [2018/01/10 19:42] – external edit 127.0.0.1 | view:indicator-margin [2018/04/13 15:01] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 11: | Line 11: | ||
| | | ||
| Right mouse click on margin shows Bookmark menu. | Right mouse click on margin shows Bookmark menu. | ||
| - | Left mouse click + Ctrl sets unnamed bookmark. | + | Left mouse click + Ctrl sets an unnamed bookmark. |
| - | {{: | + | {{: |