Using the Editor

This section of help describes advanced features of Micro-IDE editor, and its configuration.