ajaxorg/cloud9 — comment on commit d92be1aa108ea02e44e4cd6690913a5dd3f16097
File: client/ext/tabbehaviors/tabbehaviors.js line 445
By mattpardee:

This is a UX issue. You do not enter tab0 if you want tab10. I don't care what number system or keyboard layout or country you come from. Basically, the popup hint code needs to be fixed but that is for another time.