Disable the scroller for now. Will finish it up post 23.

master
Marco Pesenti Gritti 18 years ago
parent 79c4bde2b4
commit 52a2075271

@ -39,7 +39,6 @@ class WebActivity(Activity):
logging.debug('Starting the web activity')
self.set_title(_('Web Activity'))
self.connect('key-press-event', self._key_press_event_cb)
vbox = gtk.VBox()
@ -67,10 +66,6 @@ class WebActivity(Activity):
self._browser.load_url(_HOMEPAGE)
def _key_press_event_cb(self, window, event):
if event.keyval == gtk.keysyms.F11:
self._browser.toggle_scroll()
def _setup_links_controller(self):
links_controller = LinksController(self._service, self._links_model)
self._toolbar.set_links_controller(links_controller)

@ -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)

Loading…
Cancel
Save