Fix overstretched options dialog. Closes #1293.
Explicitle tell that we don't support freedesktop's startup notify standard. Fixes GNOME issues. Closes #1217.
Add our WM_CLASS in the .desktop file so window managers know how to group our windows.