WebBrowserWindow: fixed an issue closing the last window

DownloadManager: Fixed issues in the Windows related code.

Web Browser (NG): improvement of the download manager

Web Browser NG, SpeedDial: little fix for a speeddial focus issue.

Third Party, coverage: updated coverage.py to 4.5.1.

Helpviewer, GreaseMonkeManager: Fixed an import issue introduced with the 18.04 release.

eric api, eric doc plug-ins: changed the executable path on non-Windows platforms.

install script: corrected the install script.

Updated source docu.

install, uninstall: Modified the install and uninstall scripts such, that they can be used without being administrator (i.e. if installing into a virtual environment).

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

eric ide