diff options
| author | Bobby Powers <bobby@laptop.org> | 2009-03-04 07:46:48 (GMT) |
|---|---|---|
| committer | Bobby Powers <bobby@laptop.org> | 2009-03-04 07:46:48 (GMT) |
| commit | 92418f145a5875f87f3083fb867a3f1dbd5c6ac9 (patch) | |
| tree | 32287b28ce0a504d1d32a4398019dac9c85e0313 | |
| parent | 37c98b988e6f85a849c09aaa7aac57e683050989 (diff) | |
set webkit.WebView in a scrolled window to give us scrollbars
- it seems like the web view would occasionally have them on its
own, but it wasn't consistant.
| -rw-r--r-- | webactivity.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/webactivity.py b/webactivity.py index b441b67..01c8c80 100644 --- a/webactivity.py +++ b/webactivity.py @@ -194,7 +194,13 @@ class WebActivity(activity.Activity): self.set_toolbox(toolbox) toolbox.show() - self.set_canvas(self._browser) + scrolled_window = gtk.ScrolledWindow() + scrolled_window.props.hscrollbar_policy = gtk.POLICY_AUTOMATIC + scrolled_window.props.vscrollbar_policy = gtk.POLICY_AUTOMATIC + scrolled_window.add(self._browser) + scrolled_window.show_all() + + self.set_canvas(scrolled_window) self._browser.show() self._browser.history.connect('session-link-changed', |