Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/browser.py
diff options
context:
space:
mode:
authorLucian Branescu Mihaila <lucian.branescu@gmail.com>2010-07-05 18:24:18 (GMT)
committer Lucian Branescu Mihaila <lucian.branescu@gmail.com>2010-07-05 18:24:18 (GMT)
commit3e842eada4a99762da2b5864d8d5eccbf46d9bf3 (patch)
tree1278f84672c6d6d59a122232cd6f8fcd561fd48f /browser.py
parentda6a89c1c58c19e3ef1b3a3e73612293f62ad58e (diff)
Add visible scrollbars, small fixes.
Diffstat (limited to 'browser.py')
-rw-r--r--browser.py27
1 files changed, 17 insertions, 10 deletions
diff --git a/browser.py b/browser.py
index e2d2419..95878a9 100644
--- a/browser.py
+++ b/browser.py
@@ -58,6 +58,7 @@ class TabbedView(gtk.Notebook):
def new_tab(self, uri=None):
browser = Browser()
self._append_tab(browser)
+
if uri:
browser.load_uri(uri)# or self.HOME_PAGE)
@@ -68,6 +69,9 @@ class TabbedView(gtk.Notebook):
#set stylesheets
settings = browser.get_settings()
+ # improves browsing on some buggy websites
+ settings.set_property('enable-site-specific-quirks', True)
+
#if os.path.exists(self.AGENT_SHEET):
# # used to disable flash movies until you click them.
# settings.set_property('user-stylesheet-uri', 'file:///' +
@@ -76,12 +80,14 @@ class TabbedView(gtk.Notebook):
settings.set_property('user-stylesheet-uri', 'file:///' +
self.USER_SHEET)
- # improves browsing on some buggy websites
- settings.set_property('enable-site-specific-quirks', True)
-
- self.append_page(browser, label)
+ sw = gtk.ScrolledWindow()
+ sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
+ sw.add(browser)
browser.show()
+ self.append_page(sw, label)
+ sw.show()
+
self.set_current_page(-1)
self.props.show_tabs = self.get_n_pages() > 1
@@ -91,7 +97,7 @@ class TabbedView(gtk.Notebook):
self.props.show_tabs = self.get_n_pages() > 1
def _get_current_browser(self):
- return self.get_nth_page(self.get_current_page())
+ return self.get_nth_page(self.get_current_page()).get_child()
current_browser = gobject.property(type=object,
getter=_get_current_browser)
@@ -99,7 +105,7 @@ class TabbedView(gtk.Notebook):
def get_session(self):
tab_sessions = []
for index in xrange(0, self.get_n_pages()):
- browser = self.get_nth_page(index)
+ browser = self.get_nth_page(index).get_child()
tab_sessions.append(browser.get_session())
return tab_sessions
@@ -163,17 +169,18 @@ class TabLabel(gtk.HBox):
def __browser_loaded_cb(self, browser, load_status):
browser.connect('notify::uri', self.__location_changed_cb)
- browser.connect('notify::title', self.__title_changed_cb)
+ browser.connect('title-changed', self.__title_changed_cb)
- def __location_changed_cb(self, browser, uri):
- sefl._label.set_text(uri)
+ def __location_changed_cb(self, browser, paramspec):
+ self._label.set_text(browser.props.uri)
- def __title_changed_cb(self, browser, title):
+ def __title_changed_cb(self, browser, frame, title):
self._label.set_text(title)
class Browser(webkit.WebView):
__gtype_name__ = 'Browser'
+ # TODO scrollbars
def __init__(self):
webkit.WebView.__init__(self)