Hi Fabio,

on latest PyDev, the user can now define a name for its interpreter. However, PyDev still uses internally the exec name of the interpreter as ID of the InterpreterInfo. Is this an accident or intentional?

[]'s
--Raul