Bug report from Matt in Munich: On his Windows machine, with Eclipse 5.2 #35: When trying to change directory or library path in "Global Settings", he gets the error "Tktools running on a different machine from ECLiPSe. Cannot change directory from Tktools." -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipseReceived on Thu Oct 25 11:55:25 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:10 PM GMT GMT