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.

Merge request reports

Loading