more padding for radio group
output session loading issues to log + message instead of error dialog (better launch dialog experience)
Merge branch 'launch-tuning' into isabelle2013