Configuration
Global settings
Generic settings can be tweaked from ${XDG_CONFIG_HOME}/editide/settings.ini
.
They’re applied globally, to all windows.
Here a sample with the default settings value:
[core]
# Use editorconfig for files settings
editorconfig = true
# Set gtksourceview themes for syntax highlighting
highlight_theme_light = editide-dim
highlight_theme_dark = editide-dark
# Show completion suggestions when typing if true,
# or only on <Ctrl>+<space> if false
interactive_completion = true
# Start with maximized windows
maximize = false
# Application menu: bar, button, none
menu = bar
# Create a backup before saving a file
save_backup = false
# Show spaces and tabs in source
show_spaces = true
[ext_font]
# User interface font (!= editor font)
font_name = Sans 10pt
# Crisp font rendering (requires fontconfig, freetype v35, and hinted fonts)
crisp_rendering = false
[ext_spellcheck]
# Globally enable the spellchecker and its context submenu
enable = true
# Set if proofing is active by default in new documents
default_active = false
[ext_ssd]
# Try to use server-side decorations
enable = false
[ext_term]
# Set the shell to use
shell = /bin/bash
[ext_theme]
# Set true to apply the GNOME libadwaita theme
adwaita = false
# Color scheme variant: light, dark, default
variant = light
[ext_trackmod]
# Show modified lines in the margin
enable = false
# Margin color for modified lines
color = #00CFBF80
[ext_vim]
# Activate Vim emulation
enable = false
Project settings
Project-specific configuration can be stored in a file .editide.json
placed at the root folder of the project.
Default values:
{
"name": null,
"exclude": [
".*/"
],
"gitignore": false,
"ctags_args": [],
"search_filters": [],
"margin_pos": 100,
"margin_show": false,
"minimap_show": false,
"spell_lang": "",
"tasks": []
}
Details:
name
: project name, displayed in titlebar, by default the project folder name is used if undefinedctags_args
: additional arguments to pass touniversal-ctags
exclude
: ignore files from project, can be combined with gitignoregitignore
: follow.gitignore
to ignore files from projectssearch_filters
: list of files filters to refine searches, will be prefilled in the dropdown entryminimap_show
: show a minimap of the source code by default (can also be toggled with Ctrl+M)margin_pos
: position of the right margin, if enabledmargin_show
: enable the right marginspell_lang
: spellcheck language (like “en_US”), by default the system locale is usedtasks
: custom task to run either by command bar or F4, F5, F6, F7 keys
These settings are per-project, so may be different for each opened window.
When no project is open, or settings not defined, fallback values can be user-defined under
${XDG_CONFIG_HOME}/editide/defaults.json
.
Tasks
TODO
File settings
EdiTidE supports EditorConfig by default for file-specific settings.
UI style
The UI is using the Gtk4 framework, which supports CSS stylesheets.
An user CSS can be placed in ${XDG_CONFIG_HOME}/editide/gtk4.css
for customizing the appearance.