Open a bugticket first. Even if you might missed a setting (which I don't see) it's good to open a ticket as an idication of GUI issue. To me this sounds like a bug.
That is a support case, which is fine as a customer.
I was talking about the bug tracker, where everybody can file a ticket about issues inside the application.