Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#2441 select whole number include a decimal point

Next_Release
open
nobody
None
5
2014-05-11
2014-05-11
kourin
No

Is there any plugin / option to allow to select whole number include a decimal point when I double click it?

For example, If I double click "123.456",
Current behavior: "123" or "456" is highlighted
I prefer: "123.456" is highlighted

It makes easier to copy such numbers.

Discussion