hide options when you hit a terminal