Hi! There is a mini-bug in the kate settingsdialog in the HEAD branch -> the page, that is first displayed should be labeled "General options", but it says "Empty page"... Andreas >> Visit http://mail.kde.org/mailman/listinfo/kde-devel#unsub to unsubscribe <<