Application 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. Open it from Preferences > User Style in the menu.

The application shall be restarted to take CSS updates into account.

Resources:

Highlight Style

Set highlight_theme_light and highlight_theme_dark in the settings (see configuration).

Styles are managed by GtkSourceView, and are typically located under:

  • /usr/share/gtksourceview-5/styles/
  • ${XDG_DATA_HOME}/gtksourceview-5/styles/

More styles can be downloaded from GNOME Builder.

Styles shall declare themselves as light or dark to ensure proper text contrast:

  <metadata>
    <property name="variant">dark</property>
  </metadata>

Resources: