(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
(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