range selection with mouse broke
Submitted by on Friday, 16 December, 2005 - 21:39
After switching computers, range selection with my mouse has stopped working in jEdit. That is, I click and drag the mouse, but it no longer selects anything. Rather, the carat stays where it was.
Range selection still works in all the other apps I try. Double clicking in jEdit selects a word (and triple clicking selects the line), and shift-cursor keys still select. It's just range selection with the mouse that seems to have stopped working. (And it isn't a case of the mouse buttons somehow having gotten swapped, either.)
Has anyone else run into this sort of thing?
Version = 4.2 final.
Range selection still works in all the other apps I try. Double clicking in jEdit selects a word (and triple clicking selects the line), and shift-cursor keys still select. It's just range selection with the mouse that seems to have stopped working. (And it isn't a case of the mouse buttons somehow having gotten swapped, either.)
Has anyone else run into this sort of thing?
Version = 4.2 final.
