I had a look at comment_15, and tried to double click on the number 121567 in order to paste it in the "Find bug #" field. But it also included the comma, so I had to delete that before submitting the field. I think that nearly always, when you do this kind of selection, your aim is just to copy a certain word, disregarding the punctuation. Maybe it would be omitted with such beaviour as this? I don't know if this is Mozilla or gtk+ or what. Is it feasible?
This is done on purpose to be like other unix apps (other unix apps suck, unfortunately). You can put: user_pref("layout.word_select.stop_at_punctuation", true); in your prefs.js to make this behave sanely (as we do on the Mac, say).
Status: UNCONFIRMED → RESOLVED
Last Resolved: 16 years ago
Resolution: --- → INVALID
You need to log in before you can comment on or make changes to this bug.