130854 - Omit commencing punctuation in a word while double-clicking on it

Status: RESOLVED INVALID

(Core :: DOM: Selection, defect)

Description

[Hakon]

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?

Comment 1

[Boris Zbarsky [:bzbarsky]]

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).