From 9141e0c4d316b877cb4e71b5fa7255c40248e867 Mon Sep 17 00:00:00 2001 From: mathieui 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/commands.py') 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