eric6/APIs/Python3/microbit.bas

Sat, 28 Sep 2019 18:44:48 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 28 Sep 2019 18:44:48 +0200
changeset 7278
1820a0344b62
parent 7162
f00b38c540ca
permissions
-rw-r--r--

Editor: added configuration option to set the tab and indentation width for each languages separately (as an override to the global ones).


    

eric ide

mercurial