Hello, all. I shall be thankful for the hint how can I change the default font that kdev4 uses for all of its elements except the editor window (which can be easily changed in the dialogue "configure editor"). For some unclear reason my kdev4 does not follow the general KDE configuration...:-( -- Leon