repair display of current real-data file (#590); minor cleanup in GUI (RealDataSelectorWidget etc)
This resolves #590 (closed).
Not as hotfix because too many file and variable names have changed.
This resolves #590 (closed).
Not as hotfix because too many file and variable names have changed.