diff options
author | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-08-10 10:02:18 (GMT) |
---|---|---|
committer | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-08-10 10:02:18 (GMT) |
commit | d4ddf8d01339a7cee577f354d317273cce13c884 (patch) | |
tree | c6e8e994e05b4e3c3f62c083922284bf40d2446b | |
parent | f558daf03fc401ffa48cf2892593dbcd0ffbc868 (diff) |
Adapt to new palette API.
-rwxr-xr-x | webtoolbar.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/webtoolbar.py b/webtoolbar.py index 3fa6b93..a330d70 100755 --- a/webtoolbar.py +++ b/webtoolbar.py @@ -156,8 +156,8 @@ class WebToolbar(gtk.Toolbar): current_page_index = session_history.index for palette in (self._back.get_palette(), self._forward.get_palette()): - while palette.menu_item_count(): - palette.remove_menu_item(0) + for menu_item in palette.menu.get_children(): + palette.menu.remove(menu_item) session_history = self._browser.web_navigation.sessionHistory for i in range(0, session_history.count): @@ -170,10 +170,10 @@ class WebToolbar(gtk.Toolbar): if i < current_page_index: palette = self._back.get_palette() - palette.insert_menu_item(menu_item, 0) + palette.menu.prepend(menu_item) elif i > current_page_index: palette = self._forward.get_palette() - palette.insert_menu_item(menu_item, -1) + palette.menu.append(menu_item) menu_item.show() |