aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/session.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ide/session.mli')
-rw-r--r--ide/session.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/session.mli b/ide/session.mli
index 8f7c79bec..028a1f9de 100644
--- a/ide/session.mli
+++ b/ide/session.mli
@@ -14,6 +14,7 @@ class type ['a] page =
inherit GObj.widget
method update : 'a -> unit
method on_update : callback:('a -> unit) -> unit
+ method data : 'a
end
class type control =