aboutsummaryrefslogtreecommitdiff
path: root/script.it/state/selection.mli
blob: 9792a2da37738f0c8fef4bdc8005d11868a86e8a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
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