diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-12 21:10:57 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-12 21:10:57 (GMT) |
commit | 502b3321716ff063e1992c35cb28483da48b0dd6 (patch) | |
tree | fdd14f37d4ea8c1b190c90914b7e2d87293ca1bb /browser.py | |
parent | 95fa23ddf05d900f95a9c7d669c0fed9d5da1356 (diff) | |
parent | d800b328ebea44310d6bb475c72f6a9e1557f13c (diff) |
Merge branch 'master' of git+ssh://dev.laptop.org/git/web-activity
Conflicts:
NEWS
browser.py
Diffstat (limited to 'browser.py')
-rw-r--r-- | browser.py | 24 |
1 files changed, 24 insertions, 0 deletions
@@ -31,7 +31,9 @@ from hulahop.webview import WebView from sugar.datastore import datastore from sugar import profile +from sugar import env from sugar.activity import activityfactory +from sugar.activity import activity import sessionstore @@ -66,9 +68,31 @@ class GetSourceListener(gobject.GObject): pass class Browser(WebView): + + AGENT_SHEET = os.path.join(activity.get_bundle_path(), 'agent-stylesheet.css') + USER_SHEET = os.path.join(env.get_profile_path(), 'gecko', 'user-stylesheet.css') + def __init__(self): WebView.__init__(self) + io_service_class = components.classes["@mozilla.org/network/io-service;1"] + io_service = io_service_class.getService(interfaces.nsIIOService) + + cls = components.classes['@mozilla.org/content/style-sheet-service;1'] + style_sheet_service = cls.getService(interfaces.nsIStyleSheetService) + + if os.path.exists(Browser.AGENT_SHEET): + agent_sheet_uri = io_service.newURI('file:///' + Browser.AGENT_SHEET, + None, None) + style_sheet_service.loadAndRegisterSheet(agent_sheet_uri, + interfaces.nsIStyleSheetService.AGENT_SHEET) + + if os.path.exists(Browser.USER_SHEET): + user_sheet_uri = io_service.newURI('file:///' + Browser.USER_SHEET, + None, None) + style_sheet_service.loadAndRegisterSheet(user_sheet_uri, + interfaces.nsIStyleSheetService.USER_SHEET) + def get_session(self): return sessionstore.get_session(self) |