Ticket #11009: trac_11009-sagenb.patch

File trac_11009-sagenb.patch, 1.5 KB (added by iandrus, 11 years ago)
  • sagenb/notebook/config.py

    # HG changeset patch
    # User Ivan Andrus <darthandrus@gmail.com>
    # Date 1300941599 25200
    # Node ID 44e5792aca94a94be40d37772f9970bb12291ebd
    # Parent  08a638776e2635b7653220c925ec3ed39f200d5d
    #11009: exec DOT_SAGE/keys.py
    
    diff --git a/sagenb/notebook/config.py b/sagenb/notebook/config.py
    a b  
    22r"""
    33Notebook Keybindings
    44
    5 This module is responsible for setting the keyboard bindings for the notebook. 
     5This module is responsible for setting the keyboard bindings for the notebook.
    66
    77These are the standard key and mouse bindings available in the
    88notebook:
     
    6363js.keyhandler.add('indent',                 key = "KEY_TAB",   shift=False)  # tab
    6464js.keyhandler.add('indent',                 key = "KEY_GT",    shift=False)  # tab
    6565js.keyhandler.add('unindent',               key = "KEY_TAB",   shift=True)  # tab
    66 js.keyhandler.add('unindent',               key = "KEY_LT",    shift=False) 
     66js.keyhandler.add('unindent',               key = "KEY_LT",    shift=False)
    6767js.keyhandler.add('request_history',        key = "KEY_Q",     ctrl=True)
    6868js.keyhandler.add('request_history',        key = "KEY_QQ",    ctrl=True)
    6969js.keyhandler.add('request_log',            key = "KEY_P",     ctrl=True)
     
    108108js.keyhandler.add('menu_pick',           key = "KEY_ENTER")
    109109js.keyhandler.add('menu_pick',           key = "KEY_RETURN")
    110110
     111import os
     112local_keys = os.environ["DOT_SAGE"]+"/keys.py"
     113if os.path.exists(local_keys):
     114    execfile(local_keys)
    111115
    112116"""
    1131178  -- backspace