Sat, 29 Feb 2020 18:23:39 +0100 | Detlev Offenbach | WebBrowserInterfacePage: added the missing interface configuration page for the web browser (part 2). | file | diff | annotate |
Sat, 28 Sep 2019 18:44:48 +0200 | Detlev Offenbach | Editor: added configuration option to set the tab and indentation width for each languages separately (as an override to the global ones). | file | diff | annotate |
Wed, 25 Sep 2019 19:42:44 +0200 | Detlev Offenbach | Regenerated the source docu. | file | diff | annotate |
Mon, 02 Sep 2019 18:58:29 +0200 | Detlev Offenbach | Updated the source docu. | file | diff | annotate |
Tue, 20 Aug 2019 17:11:17 +0200 | Detlev Offenbach | Regenerated source docu after merge with 'micropython' branch. | file | diff | annotate |
Sun, 14 Apr 2019 15:09:21 +0200 | Detlev Offenbach | Major restructuring of the source tree to get prepared for a setup.py based installation. | file | diff | annotate | base |