Closed Claudius-Appel closed 4 months ago
I am no longer sure if this is sensible or not, given that it influences the output table?
Point being, if the user has selected another tab when the execution finishes, this control tends to not update properly.
Since the date is only actually relevant in this table, it should be moved here. Particularly because it is basically only used for selecting the file-date.