File tree Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -478,9 +478,7 @@ let updateErrors = (
478478 let isMarkerId = id =>
479479 String .startsWith (id , "gutter-marker" ) || String .startsWith (id , "text-marker" )
480480
481- WebAPI .Element .addEventListener (wrapper , Mouseover , (
482- evt : WebAPI .UIEventsAPI .mouseEvent ,
483- ) => {
481+ WebAPI .Element .addEventListener (wrapper , Mouseover , (evt : WebAPI .UIEventsAPI .mouseEvent ) => {
484482 let target = (Obj .magic (evt .target ): Null .t <WebAPI .DOMAPI .element >)
485483
486484 switch target {
@@ -495,9 +493,7 @@ let updateErrors = (
495493 }
496494 })
497495
498- WebAPI .Element .addEventListener (wrapper , Mouseout , (
499- evt : WebAPI .UIEventsAPI .mouseEvent ,
500- ) => {
496+ WebAPI .Element .addEventListener (wrapper , Mouseout , (evt : WebAPI .UIEventsAPI .mouseEvent ) => {
501497 let target = (Obj .magic (evt .target ): Null .t <WebAPI .DOMAPI .element >)
502498
503499 switch target {
You can’t perform that action at this time.
0 commit comments