diff options
Diffstat (limited to 'ocamldoc/odoc_info.mli')
| -rw-r--r-- | ocamldoc/odoc_info.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_info.mli b/ocamldoc/odoc_info.mli index 0ab1fa815a..d3e5b32451 100644 --- a/ocamldoc/odoc_info.mli +++ b/ocamldoc/odoc_info.mli @@ -210,6 +210,7 @@ module Type : { rf_name : string ; (** Name of the field. *) rf_mutable : bool ; (** [true] if mutable. *) + rf_focus : bool; (** [true] if autofocus. *) rf_type : Types.type_expr ; (** Type of the field. *) mutable rf_text : text option ; (** Optional description in the associated comment.*) } |