##// END OF EJS Templates
Fixing #1337. Tooltip stops TAB from being handled by others....
Fixing #1337. Tooltip stops TAB from being handled by others. Pressing TAB to get the tooltip "range(TAB" was inserting a TAB. To get rid of this we are now telling CodeMirror to ignore it and also stopping the event from bubbling up the DOM.

File last commit:

r3199:7d03350d
r6052:07435e35
Show More
.git_commit_info.ini
9 lines | 276 B | text/x-ini | IniLexer
# This is an ini file that may contain information about the code state
[commit hash]
# The line below may contain a valid hash if it has been substituted during
# 'git archive'
archive_subst_hash=$Format:%h$
# This line may be modified by the install process
install_hash=