I am writing an addon that needs to be done in order to capture the time when someone highlighted some text on a web page. Is there any way to listen to this event?
Thanks Kapil
There is no special event for this. But you can listen to the mouseup event and check the selection returned by window.getSelection() not empty and / or different from the previous selection.
mouseup
window.getSelection()
You can add a listener. The Source window (viewSource.js) does this so that it can update the row and column number.