Update July 5, 2019


  1. Fixed a slightly annoying error with how the map cursor is positioned in certain rare situations.
  2. Some extremely obscure cornercase fixes.