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?