A small patch to fix issues reported over the weekend in v0.0.12
v0.0.12f2
General
- Prevent custom campaigns in improper file location from being loaded
- Fixed: editor resources with non-lowercase extensions not recognized
- Fixed: Mission selector scrollable list allowed selecting locked missions