Richard f9f78b867c Tidied up setTabProperty ... I was doing nasty things with a for loop - we've replaced it with a map statement, which achieves the same thing but works better with Vue.js reactivity.		2021-05-18 11:52:36 +01:00
..
default_extensions	Formatting fixes	2021-03-31 09:40:31 +01:00
dev_extensions	2.9 dev numpy types	2020-12-04 13:35:11 +00:00
static	Tidied up setTabProperty	2021-05-18 11:52:36 +01:00
utilities	Static type analysis	2020-11-30 13:36:45 +00:00
v2	Minor linting improvements	2021-04-27 11:17:11 +01:00
__init__.py	Removed old plugin system	2019-12-18 15:04:55 +00:00
app.py	Formatting fixes	2021-03-31 09:40:31 +01:00