(self-reply ... never a good sign)

My bad.  The bug is _not_ fixed in 1.6.7; you can modify the path but you cannot
delete it from the preferences menu.  (You can manually edit the configuration
file to get rid of it.)

/Paul

Reply via email to