Description of problem:

Sometimes the double-click selection stops working. If it occurs, no
double-click will ever work until you tripp-click or move and click.

Version-Release number of selected component (if applicable):

vte-0.19.4-3.fc11.x86_64

How reproducible:

Not easy, but possible

Steps to Reproduce:
0. Use a laptop
1. open gnome-terminal
2. place cursor over a word, remove finger from touchpad
4. click and double-click
   this takes some patience
   it's ok to make pauses to reset any timers, this seems random
   most importantly, don't tripple-click (line selection)
  
Actual results:

Double click ceases working until a motion or a tripple-click occurs

Expected results:

Double-click working

Additional info:

n/a
If someone has an easy way to capture a stream of clicks with timestamps,
I can do that.