eric6/APIs/Python3/micropython.bas@1820a0344b62
eric6/APIs/Python3/micropython.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 7176
-
12b76052e1d5
- 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).