@@ -515,9 +515,7 @@ module WarningFlagsWidget = {
515
515
let listboxRef = React .useRef (Nullable .null )
516
516
517
517
// Used for the text input
518
- let inputRef : React .ref <Nullable .t <WebAPI .DOMAPI .htmlInputElement >> = React .useRef (
519
- Nullable .null ,
520
- )
518
+ let inputRef = React .useRef (Nullable .null )
521
519
522
520
let focusInput = () =>
523
521
inputRef .current -> Nullable .forEach (el => WebAPI .HTMLInputElement .focus (el ))
@@ -1124,8 +1122,8 @@ module ControlPanel = {
1124
1122
}
1125
1123
1126
1124
React .useEffect (() => {
1127
- WebAPI .Window .addEventListener (window , WebAPI . EventAPI . Keydown , onKeyDown )
1128
- Some (() => WebAPI .Window .removeEventListener (window , WebAPI . EventAPI . Keydown , onKeyDown ))
1125
+ WebAPI .Window .addEventListener (window , Keydown , onKeyDown )
1126
+ Some (() => WebAPI .Window .removeEventListener (window , Keydown , onKeyDown ))
1129
1127
}, [])
1130
1128
1131
1129
let runButtonText = {
@@ -1529,8 +1527,8 @@ let make = (~versions: array<string>) => {
1529
1527
}
1530
1528
1531
1529
React .useEffect (() => {
1532
- WebAPI .Window .addEventListener (window , WebAPI . EventAPI . Resize , onResize )
1533
- Some (() => WebAPI .Window .removeEventListener (window , WebAPI . EventAPI . Resize , onResize ))
1530
+ WebAPI .Window .addEventListener (window , Resize , onResize )
1531
+ Some (() => WebAPI .Window .removeEventListener (window , Resize , onResize ))
1534
1532
}, [])
1535
1533
1536
1534
// To force CodeMirror render scrollbar on first render
@@ -1615,15 +1613,15 @@ let make = (~versions: array<string>) => {
1615
1613
onMove (position )
1616
1614
}
1617
1615
1618
- WebAPI .Window .addEventListener (window , WebAPI . EventAPI . Mousemove , onMouseMove )
1619
- WebAPI .Window .addEventListener (window , WebAPI . EventAPI . Touchmove , onTouchMove )
1620
- WebAPI .Window .addEventListener (window , WebAPI . EventAPI . Mouseup , onMouseUp )
1616
+ WebAPI .Window .addEventListener (window , Mousemove , onMouseMove )
1617
+ WebAPI .Window .addEventListener (window , Touchmove , onTouchMove )
1618
+ WebAPI .Window .addEventListener (window , Mouseup , onMouseUp )
1621
1619
1622
1620
Some (
1623
1621
() => {
1624
- WebAPI .Window .removeEventListener (window , WebAPI . EventAPI . Mousemove , onMouseMove )
1625
- WebAPI .Window .removeEventListener (window , WebAPI . EventAPI . Touchmove , onTouchMove )
1626
- WebAPI .Window .removeEventListener (window , WebAPI . EventAPI . Mouseup , onMouseUp )
1622
+ WebAPI .Window .removeEventListener (window , Mousemove , onMouseMove )
1623
+ WebAPI .Window .removeEventListener (window , Touchmove , onTouchMove )
1624
+ WebAPI .Window .removeEventListener (window , Mouseup , onMouseUp )
1627
1625
},
1628
1626
)
1629
1627
}, [layout ])
0 commit comments