[Github-comments] [geany] Editor Widget Update not triggering (#807)

[elextr]

I incremented a counter in the button-down event handler and `printf`ed it in the button-up handler and it appears some of the up events are getting lost ...

but only when the Geany window is full screen (you know, the + on the top bar on sensible DEs :)

Unless @b4n tells me we deliberately stop some button-up events from propagating then I will say this is a GTK problem, and I can live with the workaround of not making Geany full screen.

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/807#issuecomment-164944032
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20151215/f54d3de5/attachment.html>