Many web browsers (Firefox for example) offer a function to show tabs from last time when a browser starts. This patch implements this functionality as an option.
The settings window is accordingly adjusted to separate options that apply globally vs options that only apply to newly-created windows: {F7250488}
This setting is off by default pending a discussion regarding whether it makes sense to have it on by default.