From 9141e0c4d316b877cb4e71b5fa7255c40248e867 Mon Sep 17 00:00:00 2001
From: mathieui <mathieui@mathieui.net>
Date: Mon, 9 Feb 2015 22:13:11 +0100
Subject: Add a bookmarkstab (fixes #2004)

now we can edit stuff, save or cancel those modifications, and change
the chose storage easily
---
 src/core/commands.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/core')

diff --git a/src/core/commands.py b/src/core/commands.py
index 03e7276d..cacd474b 100644
--- a/src/core/commands.py
+++ b/src/core/commands.py
@@ -501,12 +501,15 @@ def _add_wildcard_bookmarks(self, method):
 def command_bookmarks(self):
     """/bookmarks"""
     tab = self.get_tab_by_name('Bookmarks', tabs.BookmarksTab)
+    old_tab = self.current_tab()
     if tab:
         self.current_tab_nb = tab.nb
     else:
         tab = tabs.BookmarksTab(self.bookmarks)
         self.tabs.append(tab)
         self.current_tab_nb = tab.nb
+    old_tab.on_lose_focus()
+    tab.on_gain_focus()
     self.refresh_window()
 
 @command_args_parser.quoted(0, 1)
-- 
cgit v1.2.3