/** Invalidates the ViewSettings instances shown on top of the MapView */
 public void invalidate() {
   mapView.setLogoMargins(
       getLogoMarginLeft(), getLogoMarginTop(), getLogoMarginRight(), getLogoMarginBottom());
   mapView.setCompassMargins(
       getCompassMarginLeft(),
       getCompassMarginTop(),
       getCompassMarginRight(),
       getCompassMarginBottom());
   mapView.setAttributionMargins(
       getAttributionMarginLeft(),
       getAttributionMarginTop(),
       getAttributionMarginRight(),
       getAttributionMarginBottom());
 }
 /**
  * Sets the margins of the logo view. Use this to change the distance of the Mapbox logo from the
  * map view edge.
  *
  * @param left The left margin in pixels.
  * @param top The top margin in pixels.
  * @param right The right margin in pixels.
  * @param bottom The bottom margin in pixels.
  */
 public void setLogoMargins(int left, int top, int right, int bottom) {
   logoSettings.setMargins(new int[] {left, top, right, bottom});
   mapView.setLogoMargins(left, top, right, bottom);
 }