Add workaround to set saner size for tab bar under Windows, needs better solution in future, fixes #515