Comment Comment by bouke Yeah same here, very annoying and counterproductive. The terminal is not a place where one expects hot buttons. parent bouke 3 months ago