Update labels of reader objects in pipeline browser when replacing files while loading state file
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
commit 8f3fe99a added dialog to prompt to change filenames while loading a state file.
Currently, the labels displayed in the pipeline browser are preserved, regardless whether one replaces or keeps the file names stored in the state file. That does make sense if a user has altered it prior to saving a state file, i.e. display name != basename(file name). But in case the user hasn't, it would be very convenient if the label in the pipeline browser would get updated with the new file name.
Maybe it is best to let the user decide by presenting him a checkbox in the change filename dialog.