diff options
author | Ruben Rodriguez <ruben@activitycentral.com> | 2013-09-17 23:55:01 (GMT) |
---|---|---|
committer | Ruben Rodriguez <ruben@activitycentral.com> | 2013-09-17 23:55:01 (GMT) |
commit | 421138831fa5bb3909a255ae81cb60af7eeaa30f (patch) | |
tree | a5c9e2f78e2a8e39227dfdafcaac1842ed3144dc | |
parent | b31794bcea09117d4b7f5404e19ebb0790004f27 (diff) |
Assign F13 or F8 to magnifier depending on the hardware
-rw-r--r-- | extensions/globalkey/magnifier.py | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/extensions/globalkey/magnifier.py b/extensions/globalkey/magnifier.py index 122e99b..3eb7806 100644 --- a/extensions/globalkey/magnifier.py +++ b/extensions/globalkey/magnifier.py @@ -9,18 +9,22 @@ from gi.repository import GObject from jarabe.view.viewsource import setup_view_source from sugar import env +if os.path.exists('/etc/debian_version'): + KEY='F8' +else: + KEY='F13' PATH_VMG_CONFIG = os.environ['HOME'] + '/.magnifier.ini' -BOUND_KEYS = ['<shift>F13', 'F13', '<control>F13'] +BOUND_KEYS = ['<shift>'+KEY, KEY, '<control>'+KEY] def handle_key_press(key): logger = logging.getLogger('magnifier') logger.setLevel(logging.DEBUG) logger.debug("Ejecutando magnifier......" + key) - if (key=='<shift>F13'): + if (key=='<shift>'+KEY): set_ruta_archivo() set_GraphicsTools() - if (key=='<control>F13'): + if (key=='<control>'+KEY): set_ruta_archivo() set_InvertColors() _run_cmd_async('launchVmg') |