#924 Made MDI and undocking options visible again