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