properties: Don't set the same flag twice
main: Use a header bar in the preferences
main: Remove 5 pixel-border around preferences