diff options
Diffstat (limited to 'script.it/selection.mli')
| -rwxr-xr-x | script.it/selection.mli | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/script.it/selection.mli b/script.it/selection.mli deleted file mode 100755 index 9792a2d..0000000 --- a/script.it/selection.mli +++ /dev/null @@ -1,33 +0,0 @@ -type 'a selection = - | Path of 'a - | Point of ('a * Path.Point.t) - -type t = int selection - -val threshold : float - -(** Return the closest path from the list to a given point. - - The path is returned with all thoses informations : - - The point in the path - - The path itself - - The starting point from the path - - 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 - -(** 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 |