Updated source docu.

MicroPython: added support for PyBoard.

WebBrowserVirusTotalPage: fixed an issue causing this configuration page not to be shown.

Editor: fixed an issue determining the tab and indentation width override.

Prepared change log for next development cycle.

Regenerated the source docu.

EditorLanguageTabIndentOverrideDialog: fixed some code style issues.

MiscellaneousChecker: prepared the code for some changes in Python 3.8.

install.py: re-added the print_function future so that messages can be shown even for the no longer supported Python 2.

Created global tag <release-19.10>. maintenance

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

eric ide

mercurial