At the moment the files of a session are restored in
cycling order. This is somewhat logical. But on the
other hand, this way the files appear in a different
order at the bottom of the screen. As no one really
cares about the cycling order (???), we should save
them in the order as they appear in the document tabs bar.
Maybe we can restore the cycling order as well.