public abstract void MouseMove(MapView view, MouseEventArgs e);
public abstract void KeyUp(MapView view, KeyEventArgs e);
public abstract void MouseWheel(MapView view, MouseEventArgs e);
public abstract void MouseDown(MapView view, MouseEventArgs e);
public EventProxy(MapView mv, State s) { view = mv; state = s; }
public override void KeyUp(MapView view, KeyEventArgs e) { }
public override void MouseWheel(MapView view, MouseEventArgs e) { }