6.5.3 Setting bookmarks

The IDE provides a feature which allows to set 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 CTRL-K ¡NUMBER¿ (where number is the number of the mark). To go to a previously set bookmark, press CTRL-Q ¡NUMBER¿.

Remark: Currently, the bookmarks are not stored if the IDE is left. This may change in future implementations of the IDE.