0ae0216b12
Merge pull request #5049 from ivanov/quickhelp-update
...
update quickhelp on adding and removing shortcuts
12 years ago
bfdbdd456c
Merge pull request #5391 from jdfreder/netscape-keyboard
...
Fix Gecko (Netscape) keyboard handling
12 years ago
54d9eb4358
really fix the '-' key shortcuts now
12 years ago
77bf4a72dd
better handling of minus
12 years ago
a08fbff5d9
Fix Gecko (Netscape) keyboard handling
12 years ago
21ebaf2e32
handle keyboard shortcuts ending with '-'
12 years ago
4cf1717980
use - for shortcut separators
12 years ago
b9ef37ac26
semicolon fixes buttress half of my js commits
12 years ago
61b47695e4
renamed 'use_shortcut' method to 'handles'
12 years ago
1c23dee141
remove recreation of QuickHelp
12 years ago
8bf4ffa2ca
rebuild.QuickHelp event sets the dirty bit
...
QuickHelp is rebuilt on show if the dirty bit was set.
12 years ago
cdb7967cc2
removing keyboard shortcuts should also update help
12 years ago
4a287569fc
update notebook quickhelp on new shortcuts
12 years ago
2c9ff376a2
added new use_shortcut method to shortcuts
...
this way, you can ask if a particular event will be handled by the
shortcuts system. This takes away the need to special-case many
different possible keys which should be ignored by codemirror by
ignoring them en masse.
12 years ago
ec6ea72873
Adding utility functions.
12 years ago
ff1492f8c9
Creating new base/js/keyboard.js
12 years ago
Min RK
Brian E. Granger
Paul Ivanov
Jonathan Frederic