diff --git a/lib/dom_html.ml b/lib/dom_html.ml index 8867f7cf7b..3f09bc1ffc 100644 --- a/lib/dom_html.ml +++ b/lib/dom_html.ml @@ -588,8 +588,6 @@ class type textAreaElement = object ('self) method select : unit meth method required : bool t writeonly_prop method placeholder : js_string t writeonly_prop - method selectionStart : int prop - method selectionEnd : int prop method onselect : ('self t, event t) event_listener prop method onchange : ('self t, event t) event_listener prop method oninput : ('self t, event t) event_listener prop diff --git a/lib/dom_html.mli b/lib/dom_html.mli index d0a2a4cfac..c19b0e06dc 100644 --- a/lib/dom_html.mli +++ b/lib/dom_html.mli @@ -535,8 +535,7 @@ class type textAreaElement = object ('self) method select : unit meth method required : bool t writeonly_prop (* Not supported by IE 9/Safari *) method placeholder : js_string t writeonly_prop (* Not supported by IE 9 *) - method selectionStart : int prop - method selectionEnd : int prop + method onselect : ('self t, event t) event_listener prop method onchange : ('self t, event t) event_listener prop method oninput : ('self t, event t) event_listener prop