Can't edit shortcuts
It boggles my mind that you'd release this to the world without being able to customise the shortcuts. Why didn't you guys fix the bugs in Gnome Terminal instead of releasing an app stripped of any redeeming features? Apparently you guys think that "average users", who apparently are too "average" to want to stick around in the shell, should be given as bad an experience as humanly possible so that they don't stick around where they don't belong, typing in bash commands.