API for querying mouse protocol
@egmontkob
Submitted by Egmont Koblinger Link to original bug (#758503)
Description
Once upon a time we fixed bug 13299 (for g-t to cleverly handle right click).
Now there's an analogous story https://bugs.launchpad.net/terminator/+bug/1505292. Terminator zooms on Ctrl+scroll, but a user wishes to see escape sequences. I think the ideal would be to see if the app handles mouse events, send those in that case, otherwise zoom.
vte_terminal_scoll(), however, always returns TRUE, since the widget always handles scroll events, one way or another.
How could we solve this problem? Maybe an explicit API to get whether mouse tracking is enabled?
Version: git master