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 le can be set up; they are set by Ctrl-K
Remark: Currently, the bookmarks are not saved when the IDE is exited. This may change in future implementations of the IDE.