import { LeafletArgs, PlayBackEvent } from "../EventInterface"; export declare namespace CircleEvents { interface CreateCircleEventArgs { id: string; radius: number; pos: [number, number]; color?: string; } class CreateCircle implements PlayBackEvent { name: string; do(leafletArgs: LeafletArgs, args: CreateCircleEventArgs): void; undo(leafletArgs: LeafletArgs, args: CreateCircleEventArgs): void; } class RemoveCircle extends CreateCircle { name: string; do(leafletArgs: LeafletArgs, args: CreateCircleEventArgs): void; undo(leafletArgs: LeafletArgs, args: CreateCircleEventArgs): void; } interface MoveCircleEventArgs { id: string; from: [number, number]; to: [number, number]; } class MoveCircle implements PlayBackEvent { name: string; do(leafletArgs: LeafletArgs, args: MoveCircleEventArgs): void; undo(leafletArgs: LeafletArgs, args: MoveCircleEventArgs): void; } }