[claudius]

I hope that there is a preferences dialog somewhere where one can change that? (On Debian, hence no new version for me yet.)