On Mon, 2003-01-27 at 11:31, Magnus Manske wrote:
Erik Moeller wrote:
I've changed the code so that the text is autoselected via JavaScript. This should eliminate the need for a user option.
I don't think the Linux people will be overjoyous - selecting the text means copying it...
I am one of those, but I don't see the problem. 1) This is PRIMARY, not CLIPBOARD. If you want your clipboard contents to be safe, you use CLIPBOARD (i.e. Ctrl+C/Ctrl+V). 2) To delete the text, you have to select it anway. True, not everyone will do it by mouse (and thereby trigger PRIMARY), but even for those who don't, it will be a convenience to preselect it.
However, if there's a way to suppress PRIMARY when calling the select() method in Javascript, please let me know.
Regards,
Erik