[Pydev-code] PyDev 1.4.6

[Raul F. H. <ra...@em...>]

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