[next] [prev] [prev-tail] [tail] [up]

#### 6.5.3 Setting bookmarks

The IDE provides a feature which allows the setting of a bookmark at the current cursor position. Later, the cursor can be returned to this position by pressing a keyboard shortcut.

Up to 9 bookmarks per source file can be set up; they are set by Ct r l-K <Nu m b e r> (where number is the number of the bookmark). To go to a previously set bookmark, press Ct r l-Q <Nu m b e r>.

Remark: Currently, the bookmarks are not saved when the IDE is exited. This may change in future implementations of the IDE.

[next] [prev] [prev-tail] [front] [up]