Daan Vanden Bosch 5133235040 "Save" and "Save as..." buttons are now disabled while saving, mainly as visual feedback that a save happened.		2021-04-15 21:40:43 +02:00
..
src	"Save" and "Save as..." buttons are now disabled while saving, mainly as visual feedback that a save happened.	2021-04-15 21:40:43 +02:00
build.gradle.kts	Fixed compilation warnings.	2021-03-18 20:43:03 +01:00