-
Alexandru Pandelea authored
Adds option to reopen closed tabs with Ctrl+Shift+T. In order to do so, keep a list with data needed to restore closed tabs. So, this list keeps the location bookmark, the view id before search, which is needed in case the closed tab was a search and the back/forward history. https://bugzilla.gnome.org/show_bug.cgi?id=561136
6e16bc32