Move path, some refactoring

1 files changed, 13 insertions, 3 deletions

diff --git a/script.it/selection.mli b/script.it/selection.mli
index 984eae6..9792a2d 100755
--- a/script.it/selection.mli
+++ b/script.it/selection.mli
@@ -1,6 +1,8 @@
-type t =
-  | Path of int
-  | Point of (int * Path.Point.t)
+type 'a selection =
+  | Path of 'a
+  | Point of ('a * Path.Point.t)
+
+type t = int selection
 
 val threshold : float
 
@@ -19,5 +21,13 @@ val get_from_paths
 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