diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-05-24 22:13:19 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:22:43 +0100 |
commit | 38cf58ac5e1adb38a1b99ea7cdda19ef7b5e12bf (patch) | |
tree | 4f94bff126e1dff186e0dafe5fca86657233acb1 /script.it/selection.mli | |
parent | 1a53943340d068a1dbcef2f006e44905bab47bff (diff) |
Refactor
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 |