Ticket #3534: 0001-Undo-close-tab-SL-3534.patch

browser.py

@@ -19 +19 @@
 import os
 import time
 import re
+import collections
 from gettext import gettext as _
 
 from gi.repository import GObject
@@ -99 +100 @@
         self._update_closing_buttons()
         self._update_tab_sizes()
 
+        # LIFO queue of closed tabs (10 tabs max)
+        self.closed_tabs = collections.deque(maxlen=10)
+
+    def get_last_closed_tab(self):
+        try:
+            uri = self.closed_tabs.pop()
+        except IndexError:
+            uri = None
+        return uri
+
     def normalize_or_autosearch_url(self, url):
         """Normalize the url input or return a url for search.
 
@@ -164 +175 @@
         self._update_tab_sizes()
 
     def __page_removed_cb(self, notebook, child, pagenum):
+        self.closed_tabs.append(child._browser.props.uri)
+
         if self.get_n_pages():
             self._update_closing_buttons()
             self._update_tab_sizes()

webactivity.py

@@ -428 +428 @@
     def _key_press_cb(self, widget, event):
         key_name = Gdk.keyval_name(event.keyval)
         browser = self._tabbed_view.props.current_browser
-
-        if event.get_state() & Gdk.ModifierType.CONTROL_MASK:
+        state = event.get_state()
+
+        if state & Gdk.ModifierType.CONTROL_MASK:
+            if state & Gdk.ModifierType.SHIFT_MASK:
+                if key_name == 'T':
+                    uri = self._tabbed_view.get_last_closed_tab()
+                    if uri is not None:
+                        self._tabbed_view.current_browser.emit('new-tab', uri)
+                    return True
 
             if key_name == 'd':
                 self._add_link()