Use index of hints internal instead or number.
authorDaniel Carl <danielcarl@gmx.de>
Sat, 12 Oct 2013 23:41:30 +0000 (01:41 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Sat, 12 Oct 2013 23:41:30 +0000 (01:41 +0200)
commit6c1d25d5b3136126eae00c414695e37bbae7113f
tree42a96ec2de3c68ef6ffeaa54a616f46ec831353a
parent2132706ecafab0aeacd2d25577794f3f3a565ab3
Use index of hints internal instead or number.

This fastens the hint processing a little and uses less code than searching
for the hint with a given number in the internals of the hinting javascript.
src/hints.js