Navigation map difficulty filter lag fix#56

Open

coledot wants to merge 6 commits intom22spencer:masterfrom

coledot:navigation_lag_fix

Commits on Dec 14, 2020

Use correct filename case for building on Linux
coledot
committed

Commits on Dec 17, 2020

Cleanup
coledot
committed