From 6ae97ecca8b4f38213f0f45aa6eaef944cd6b497 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 5 Jan 2021 21:43:08 +0100
Subject: Responsive sliders

---
 path/point.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'path/point.mli')

diff --git a/path/point.mli b/path/point.mli
index db87a71..c897195 100755
--- a/path/point.mli
+++ b/path/point.mli
@@ -14,7 +14,11 @@ val copy : t -> Gg.v2 -> t
 
 val set_angle : t -> float -> t
 
+val get_angle : t -> float
+
 val set_width: t -> float -> t
 
+val get_width: t -> float
+
 val get_coord'
   : t -> Gg.v2
-- 
cgit v1.2.3