My gnome-terminal (versionĀ 3.4.1.1)seems to be broken, but can't find how to fix it. The main problem is I can't configure the profile. Normally this can be done through clicking Edit > Profiles > Edit. Right now when I click Edit in the Profiles dialogues, nothing happened as if I haven't click Edit button, but New and Delete button works as normal without a problem. How can I fix the problem? Thanks