xterm.js internal APIs #105
Description
I know it's probably not in the scope of this project (and probably shouldn't be), but we are using xterm.js in our software and we are using private APIs to render tooltips on top of the xterm.js instance. We are using this private API:
terminalInstance._core._mouseService.getMouseReportCoords()
Which is not implemented in ghostty-web (not surprising on account of this being a private API). I am wondering if you would be open to adding such API on top of the xtermjs API or whether I should request the API being made public in the xterm.js project instead?
This is a very impressive project and I am looking forward to switching over sometime in the future!