#266 merge in remote changes
#266 Make debugger pane stay visible