{
  echo 'gtk-double-click-time=500'
  echo 'gtk-double-click-distance=20'
} > .gtkrc-2.0.mine