マンホールカードマップ更新

マップのマーカーの色や透明度を短期間にたくさん変えるとGoogleマップのAPIが正常に動作しなくなるようだ。色や透明度を変えた時に少し待つように改造したら、とりあえずまともに動くようになったが、アプリの起動が遅くなってしまった。