Konrad Borowski 75159ae687 Implement a spinner		2019-12-23 10:31:41 +01:00
..
config-page	Notify editor about editor type changes	2019-10-30 19:25:35 +01:00
editor	Implement a spinner	2019-12-23 10:31:41 +01:00
editor-types	Use correct language identifier for Python 3	2019-12-22 14:56:05 +01:00
config-link.ts	Add source code link	2019-11-27 19:16:03 +01:00