Hello, I just compile last git revision of KDevelop and I just noticed two issues: Editor menu is empty and "Configure editor" appears twice in Settings menu.