public interface MapViewSettingsListener
extends java.util.EventListener
MapViewSettings
. Usually you would implement this class in renderers for
Maps.Modifier and Type | Method and Description |
---|---|
void |
alphaTypeChanged(int alphaType)
This event handler is called when the alpha type setting has changed.
|
void |
autojoinChanged(boolean autojoin)
The autojoin value has changed.
|
void |
doubleFacesChanged(boolean doubleFaces)
This event handler is called when the double faces visibility has
changed.
|
void |
editTypeChanged(int editType)
The edit types value has changed.
|
void |
gridVisibleChanged(boolean gridVisible)
This event handler is called when the grid visibility has changed.
|
void |
lightVisibleChanged(boolean lightVisible)
This event handler is called when the .ight visibility has changed.
|
void |
smoothingChanged(boolean smoothing)
This event handler is called when the smoothing setting has changed.
|
void |
tileStretchingChanged(boolean tileStretching)
This event handler is called when the tile-stretching setting has
changed.
|
void gridVisibleChanged(boolean gridVisible)
gridVisible
- the new grid visibilityvoid lightVisibleChanged(boolean lightVisible)
lightVisible
- the new light visibilityvoid smoothingChanged(boolean smoothing)
smoothing
- the new smoothing settingsvoid tileStretchingChanged(boolean tileStretching)
tileStretching
- the new tile-stretching settingsvoid doubleFacesChanged(boolean doubleFaces)
doubleFaces
- the new double faces visibilityvoid alphaTypeChanged(int alphaType)
alphaType
- the new alpha type settingvoid editTypeChanged(int editType)
editType
- the new edit types valuevoid autojoinChanged(boolean autojoin)
autojoin
- the new autojoin value