Support offset/getCoords/overlap/resize on hover tooltips

FIX: Support the `offset`, `getCoords`, `overlap`, and `resize` properties
on hover tooltips, as long as they aren't given conflicting values when there are
multiple active hover tooltips.

See https://discuss.codemirror.net/t/multiple-hovertooltips/7201/3

src/tooltip.ts

@@ -533,6 +533,26 @@ class HoverTooltipHost implements TooltipView {
   destroy() {
     for (let t of this.manager.tooltipViews) t.destroy?.()
   }
+
+  passProp<Key extends keyof TooltipView>(name: Key): TooltipView[Key] | undefined {
+    let value: TooltipView[Key] | undefined = undefined
+    for (let view of this.manager.tooltipViews) {
+      let given = view[name]
+      if (given !== undefined) {
+        if (value === undefined) value = given
+        else if (value !== given) return undefined
+      }
+    }
+    return value
+  }
+
+  get offset() { return this.passProp("offset") }
+
+  get getCoords() { return this.passProp("getCoords") }
+
+  get overlap() { return this.passProp("overlap") }
+
+  get resize() { return this.passProp("resize") }
 }
 
 const showHoverTooltipHost = showTooltip.compute([showHoverTooltip], state => {