eric6/APIs/Python3/microbit.bas@1820a0344b62 (annotated)
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).