[Github-comments] [geany/geany] plugin-manager: sync buttons on "button-release-event" (#1784)

LarsGit223 notifications at xxxxx
Sat Mar 10 07:15:17 UTC 2018


@b4n: thanks for the info. I also played around with the cursor a bit. I managed to use it as a replacement but also noticed that it does not make any difference. Setting selection mode to none also does not help.

> Obviously we can't filter anymore, but the selection/cursor doesn't jump around anymore.

Interesting. Will have a look too.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1784#issuecomment-372009322
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20180310/eef418e9/attachment.html>


More information about the Github-comments mailing list