diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-17 21:45:52 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-17 21:45:52 (GMT) |
| commit | 52a207527192e87ea667c4a67abbead51aa76392 (patch) | |
| tree | 4d4628705ab88283722f9f8230f976ccf842b38c /activities/web/webbrowser.py | |
| parent | 79c4bde2b473956bebe53c56c8d27d9dc70b5bce (diff) | |
Disable the scroller for now. Will finish it up post 23.
Diffstat (limited to 'activities/web/webbrowser.py')
| -rw-r--r-- | activities/web/webbrowser.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/activities/web/webbrowser.py b/activities/web/webbrowser.py index 18c149a..0e40107 100644 --- a/activities/web/webbrowser.py +++ b/activities/web/webbrowser.py @@ -79,17 +79,6 @@ class WebBrowser(Browser): def __init__(self): Browser.__init__(self) - self._push_scroller = PushScroller() - self._scrolling = False - - def toggle_scroll(self): - if self._scrolling: - self._push_scroller.stop(gtk.get_current_event_time()) - self._scrolling = False - else: - self._push_scroller.start(self, 0, 0) - self._scrolling = True - def do_create_window(self): popup_creator = _PopupCreator(self.get_toplevel()) popup_creator.connect('popup-created', self._popup_created_cb) |