Cast 'originalEvent' in interactions

2018-09-05 13:59:12 +02:00
parent f825a08bcf
commit a5f5c06af3
3 changed files with 3 additions and 3 deletions
@@ -92,7 +92,7 @@ class KeyboardPan extends Interaction {
 function handleEvent(mapBrowserEvent) {
  let stopEvent = false;
  if (mapBrowserEvent.type == EventType.KEYDOWN) {
-    const keyEvent = mapBrowserEvent.originalEvent;
+    const keyEvent = /** @type {KeyboardEvent} */ (mapBrowserEvent.originalEvent);
    const keyCode = keyEvent.keyCode;
    if (this.condition_(mapBrowserEvent) &&
        (keyCode == KeyCode.DOWN ||