##// END OF EJS Templates
ok, removed last few unnecessary shortcuts
Paul Ivanov -
Show More
@@ -31,19 +31,17 b' var IPython = (function (IPython) {'
31 // PC specific
31 // PC specific
32 platform_specific = [
32 platform_specific = [
33 { shortcut: "Ctrl-Home", help:"go to cell start" },
33 { shortcut: "Ctrl-Home", help:"go to cell start" },
34 { shortcut: "Alt-Up", help:"go to cell start" },
34 { shortcut: "Ctrl-Up", help:"go to cell start" },
35 { shortcut: "Ctrl-End", help:"go to cell end" },
35 { shortcut: "Ctrl-End", help:"go to cell end" },
36 { shortcut: "Ctrl-Down", help:"go to cell end" },
36 { shortcut: "Ctrl-Down", help:"go to cell end" },
37 { shortcut: "Ctrl-Left", help:"go one word left" },
37 { shortcut: "Ctrl-Left", help:"go one word left" },
38 { shortcut: "Ctrl-Right", help:"go one word right" },
38 { shortcut: "Ctrl-Right", help:"go one word right" },
39 { shortcut: "Alt-Right", help:"go to cell end" },
40 { shortcut: "Ctrl-Backspace", help:"del word before" },
39 { shortcut: "Ctrl-Backspace", help:"del word before" },
41 { shortcut: "Ctrl-Delete", help:"del word after" },
40 { shortcut: "Ctrl-Delete", help:"del word after" },
42 ];
41 ];
43 }
42 }
44
43
45 var cm_shortcuts = [
44 var cm_shortcuts = [
46 { shortcut:"Insert", help:"toggle overwrite" },
47 { shortcut:"Tab", help:"code completion or indent" },
45 { shortcut:"Tab", help:"code completion or indent" },
48 { shortcut:"Shift-Tab", help:"tooltip" },
46 { shortcut:"Shift-Tab", help:"tooltip" },
49 { shortcut: cmd_ctrl + "]", help:"indent" },
47 { shortcut: cmd_ctrl + "]", help:"indent" },
General Comments 0
You need to be logged in to leave comments. Login now