Commit 8c195837 authored 1 year ago by Wuttke, Joachim

[i591d] repair display of current real-data file (#590); minor cleanup in GUI...

[i591d] repair display of current real-data file (#590); minor cleanup in GUI (RealDataSelectorWidget etc) (Closes #590)

Merging branch 'i591d'  into 'main'.

See merge request !1632

parents 9c918f56 e865857d

No related branches found

No related tags found

1 merge request!1632repair display of current real-data file (#590); minor cleanup in GUI (RealDataSelectorWidget etc)

Pipeline #99341 passed 1 year ago