From 035bf0090b0d079d6934dc8896cfef8a646f3107 Mon Sep 17 00:00:00 2001 From: Glenn Slotte Date: Mon, 22 Aug 2022 21:23:56 +0200 Subject: [PATCH 1/2] dom: add allow and frameBorder props --- src/ReactDOM.res | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/ReactDOM.res b/src/ReactDOM.res index 5faa99b..2899ff0 100644 --- a/src/ReactDOM.res +++ b/src/ReactDOM.res @@ -1234,6 +1234,8 @@ module Props = { @optional action: string /* uri */, @optional + allow: string, + @optional allowFullScreen: bool, @optional alt: string, @@ -1290,6 +1292,8 @@ module Props = { @optional formMethod: string /* "post", "get", "put" */, @optional + frameBorder: int, + @optional headers: string, @optional height: string /* in html5 this can only be a number, but in html4 it can ba a percentage as well */, From 5e4c216ab39ea95f7f3892762b70a2ad2977a759 Mon Sep 17 00:00:00 2001 From: Glenn Slotte Date: Thu, 25 Aug 2022 08:33:40 +0200 Subject: [PATCH 2/2] dom: add deprecated note on frameBorder prop --- src/ReactDOM.res | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ReactDOM.res b/src/ReactDOM.res index 2899ff0..7429fc9 100644 --- a/src/ReactDOM.res +++ b/src/ReactDOM.res @@ -1292,7 +1292,7 @@ module Props = { @optional formMethod: string /* "post", "get", "put" */, @optional - frameBorder: int, + frameBorder: int, /* deprecated, prefer to use css border instead */ @optional headers: string, @optional