Oder ohne Terminal: zwei mal Command+Option+D (Also ausblenden und wieder einblenden) behebt das in der Tat bei mir auch häufiger auftretende Problem