Code Editor

Customize code editor

Last updated 2025-06-28Originally published 2025-06-28

The application uses three types of code editors:

  1. Basic textareas
  2. Textareas with highlight
  3. CodeMirror configured for different file formats

You can customize and modify the CodeMirror editor:

  • Themes
  • Settings

in the application's preferences