Richard a1fce44a4d kludge to fix the color of text in drop-down ... something strange is happening with CSS precedence that makes the elements of the dropdown go white-on-white. I have added a specific color:black to fix this.		2021-05-11 22:01:11 +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	kludge to fix the color of text in drop-down	2021-05-11 22:01:11 +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