diff options
Diffstat (limited to 'script.it/state/selection.mli')
| -rwxr-xr-x | script.it/state/selection.mli | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/script.it/state/selection.mli b/script.it/state/selection.mli index 9792a2d..2020dab 100755 --- a/script.it/state/selection.mli +++ b/script.it/state/selection.mli @@ -1,3 +1,5 @@ +module Path = Script_path + type 'a selection = | Path of 'a | Point of ('a * Path.Point.t) @@ -6,6 +8,10 @@ type t = int selection val threshold : float +val get_from_paths : + float * float + -> Outline.t list + -> float * (Gg.v2 * Outline.t * Path.Point.t * Path.Point.t) option (** Return the closest path from the list to a given point. The path is returned with all thoses informations : @@ -15,19 +21,15 @@ val threshold : float - The end point in the path *) -val get_from_paths - : (float * float) -> Outline.t list -> float * (Gg.v2 * Outline.t * Path.Point.t * Path.Point.t) option -val select_path - : Outline.t -> t +val select_path : Outline.t -> t +val select_point : Outline.t -> Gg.v2 -> t (** Check for selecting a point on the given outline. If no point is available, select the path. *) -val select_point - : Outline.t -> Gg.v2 -> t -val find_selection - : int selection -> Outline.t list -> Outline.t selection option +val find_selection : + int selection -> Outline.t list -> Outline.t selection option |