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

6.5 Editing text

In this section, the basics of editing (source) text are explained. The IDE works like many other text editors in this respect, so mainly the distinguishing points of the IDE will be explained.

6.5.1 Insert modes
6.5.2 Blocks
6.5.3 Clipboard, copying and pasting
6.5.4 Setting bookmarks
6.5.5 Jumping to a source line
6.5.6 Syntax highlighting
6.5.7 Code Completion
6.5.8 Code Templates

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

Page generated on 2026-08-26.  Report a problem on this page