Nadim Kobeissi

In my case I'm looking for pixels.

But what if the caret is not in the same position as the mouse?

This seems to work for a regular textarea but did not work for me with a wysihtml5 textarea.

Feel free to submit a PR for this.

It would be a pleasure to help with this, if my contributions are welcome.

@defuse Thank you! I'd like to understand your goals clearly. Is the goal focused on formally modeling and verifying the Sapling protocol? Where can I access the most complete and...