Use dock widgets for GUI.