PreferencesJuly 6, 2018 ยท View on GitHub You can select here what Text Editor you want to use, and set couple of other options.
