GNOME vs. KDE integration.
I’ve run into this, um, lots, in Bugzilla or other places. Simply put, we’re really moving closer and closer to being an almost-a-GNOME-app, what with the GTK dialogs, stock icons, etc etc. So we’re ending up with a situation where we’re making life easy for GNOME users and doing nothing for KDE users. I’ve put [...]