[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 Setting bookmarks
  6.5.4 Jumping to a source line
  6.5.5 Syntax highlighting
  6.5.6 Code Completion
  6.5.7 Code Templates

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