Yeah, would probably help (also the arrows should be able to work with shift pressed). This however is a browser bug and would probably be fixed. Actually the browser does have quite a few bugs, I wonder if they have a public bug tracker for it...