diff options
| author | Joris | 2020-08-08 13:41:27 +0200 |
|---|---|---|
| committer | Joris | 2020-08-08 13:41:27 +0200 |
| commit | 3e39f97d844dbe0ff5f57e3977bc220d366d4c0e (patch) | |
| tree | bdbe9ab7a5659141f32c477002875796769471f1 /src/Lib/Dom/Event.ml | |
| parent | 081e6aae57719c15bdbc5e973ca7ddba9506a4bb (diff) | |
| download | map-3e39f97d844dbe0ff5f57e3977bc220d366d4c0e.tar.gz map-3e39f97d844dbe0ff5f57e3977bc220d366d4c0e.tar.bz2 map-3e39f97d844dbe0ff5f57e3977bc220d366d4c0e.zip | |
Show icons in marker form
Diffstat (limited to 'src/Lib/Dom/Event.ml')
| -rw-r--r-- | src/Lib/Dom/Event.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Lib/Dom/Event.ml b/src/Lib/Dom/Event.ml index 861afcf..9db46f0 100644 --- a/src/Lib/Dom/Event.ml +++ b/src/Lib/Dom/Event.ml @@ -1,6 +1,9 @@ external prevent_default : Dom.event -> unit = "preventDefault" [@@bs.send] +external stop_propagation : Dom.event -> unit = "stopPropagation" + [@@bs.send] + external target : Dom.event -> Dom.element = "target" [@@bs.get] |