marker_moved


Description:

public signal void marker_moved (uint64 previous_position, uint64 new_position, Marker marker)

Will be emitted after the marker was moved to.

Parameters:

previous_position

the previous position of the marker

new_position

the new position of the marker

marker

the Marker that was moved.