diff options
author | Simon Schampijer <simon@schampijer.de> | 2007-09-11 11:47:15 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@schampijer.de> | 2007-09-11 11:47:15 (GMT) |
commit | 1175ad0923f6809d2f216a33842a4bec12833f1e (patch) | |
tree | 94c9eb3ac78b1e005ae181f91fd647105e8488c8 | |
parent | 0bc0d0805067fcfdbe701851ce6e3624bb77653a (diff) |
Added support for the view source key fn+space problem was #3277
-rw-r--r-- | NEWS | 2 | ||||
-rwxr-xr-x | webactivity.py | 8 |
2 files changed, 9 insertions, 1 deletions
@@ -1,3 +1,5 @@ +* Added support for the view source key fn+space (erikos) + 50 * View source for Browse diff --git a/webactivity.py b/webactivity.py index 4736d44..b613c0c 100755 --- a/webactivity.py +++ b/webactivity.py @@ -56,8 +56,9 @@ SERVICE = "org.laptop.WebActivity" IFACE = SERVICE PATH = "/org/laptop/WebActivity" -_logger = logging.getLogger('web-activity') +_VIEW_SOURCE_KEY_CODE = 0x1008FF1A +_logger = logging.getLogger('web-activity') class WebActivity(activity.Activity): def __init__(self, handle, browser=None): @@ -319,6 +320,11 @@ class WebActivity(activity.Activity): _logger.debug('keyboard: Show source of the current page') self._show_source() return True + elif event.keyval == _VIEW_SOURCE_KEY_CODE: + _logger.debug('keyboard: Show source of the current page SHOW_KEY') + self._show_source() + return True + return False def _add_link(self): |