[Gwt-openlayers-users] Event mapmoveend

[Lukas J. <luk...@de...>]

At http://dev.openlayers.org/docs/files/OpenLayers/Map-js.html it is
stated that three events exists concerting the movement of the map:

# movestart triggered after the start of a drag, pan, or zoom
# move triggered after each drag, pan, or zoom
# moveend triggered after a drag, pan, or zoom completes

As far as I understand only move has been wrapped in gwt-ol. If I were
to wrap moveend (the one I need) am I correct in believing that I only
need to:
* create a interface MapMoveEndListener 
* add eventType to EventType.java
* write a register method in Map.java

How do I send the changeset to you? A diff of the project?
Best Regards 
Lukas Johansson