Development of pip interface finished. pypi

Updated source documentation.

Updated translations.

Merged with the pypi branch.

PipPackagesWidget: converted the verbal action buttons to iconic ones. pypi

InterfacePage: added option to enable/disable the PyPI Package Manager widget. pypi

Merged with default branch. pypi

PipInterface: continued with the pip interface widget. pypi

PipPage: fixed a source docu issue. pypi

Merged with default branch. pypi

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip

eric ide

mercurial