Drop down menu -glitch


Has anyone else encountered the following:

All of a sudden (after a crash) all drop down menus in Toon Boom Studio 6.0 (Mac) are having a strange graphical glitch:


Glitch doesn´t seem to affect the stability of the program, it´s merely annoying.

Has anyone else encountered this? Any ideas how to get menus back to normal?