Skip to content
GitLab
Explore
Sign in
Register
GNOME
gnome-builder
Repository
gnome-builder
data
gsettings
org.gnome.builder.terminal.gschema.xml
Find file
Blame
History
Permalink
terminal: allow users to disable bold text in terminals
· 4d17ce02
Christian Hergert
authored
May 17, 2018
Fixes #504
4d17ce02