After upgrading to Ubuntu 15.04, I can no longer access gnome-terminal preferences from edit > profile preferences.
Things I have tried to no avail:
Switching to another profile using
terminal > profile > Default
Editing the default profile and even editing a newly created one in
edit > profiles
Resetting gnome-terminal preferences using
gconftool --recursive-unset /apps/gnome-terminal
andrm -rf ~/.gconf/apps/gnome-terminal
I have also monitored
/var/log/syslog
and/var/log/dmesg
withtail -f
Any help is greatly welcome and very appreciated, thank you!