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-terminaland
rm -rf ~/.gconf/apps/gnome-terminal
I have also monitored
Any help is greatly welcome and very appreciated, thank you!