I am using debian wheezy with xfce4. With some applications I am experiencing a weird phenomena: The menu panel sometimes has a very tiny font (see Picture). This doesn't happen every time and only with some applications. I noticed it with git gui and ocular. Why is this happening and what can I do about it?
