Fix quite a few minor issues in flag designer GUI.