Make gutterContextMenu work on Firefox

marijnh · marijnh · commit 3c2a2a0a6d96 · 2018-09-20T15:16:43.000+02:00
Closes #5584
diff --git a/src/edit/mouse_events.js b/src/edit/mouse_events.js
@@ -71,8 +71,9 @@ export function onMouseDown(e) {
     }
     return
   }
-  if (clickInGutter(cm, e)) return
-  let pos = posFromMouse(cm, e), button = e_button(e), repeat = pos ? clickRepeat(pos, button) : "single"
+  let button = e_button(e)
+  if (button == 3 && captureRightClick ? contextMenuInGutter(cm, e) : clickInGutter(cm, e)) return
+  let pos = posFromMouse(cm, e), repeat = pos ? clickRepeat(pos, button) : "single"
   window.focus()
 
   // #3261: make sure, that we're not starting a second selection

Original file line number	Diff line number	Diff line change
`@@ -71,8 +71,9 @@ export function onMouseDown(e) {`
`71`	`71`	`}`
`72`	`72`	`return`
`73`	`73`	`}`
`74`		`- if (clickInGutter(cm, e)) return`
`75`		`- let pos = posFromMouse(cm, e), button = e_button(e), repeat = pos ? clickRepeat(pos, button) : "single"`
	`74`	`+ let button = e_button(e)`
	`75`	`+ if (button == 3 && captureRightClick ? contextMenuInGutter(cm, e) : clickInGutter(cm, e)) return`
	`76`	`+ let pos = posFromMouse(cm, e), repeat = pos ? clickRepeat(pos, button) : "single"`
`76`	`77`	`window.focus()`
`77`	`78`
`78`	`79`	`// #3261: make sure, that we're not starting a second selection`