Ticket #2826: sage-2826.patch

File sage-2826.patch, 817 bytes (added by was, 5 years ago)

  • sage/server/notebook/config.py 

    # HG changeset patch
# User William Stein <wstein@gmail.com>
# Date 1207469433 25200
# Node ID 5bba1767389e1c66e739d0c5e71f40cdd24c08cb
# Parent  a97daed09644cdd91992a636258200e9912b79b2
Fix sage-2826:  in safari, pressing enter after showing the list of completions doesn't work. You have to click.

diff -r a97daed09644 -r 5bba1767389e sage/server/notebook/config.py
    a b js.keyhandler.add('menu_right',  
    5555js.keyhandler.add('menu_right',          key = "KEY_RIGHT") 
    5656js.keyhandler.add('menu_down',           key = "KEY_DOWN") 
    5757js.keyhandler.add('menu_pick',           key = "KEY_ENTER") 
     58js.keyhandler.add('menu_pick',           key = "KEY_RETURN") 
    5859 
    5960 
    6061"""