Use custom MDI widget for now, fixes #170