/** 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);
}
