I have an obvious patch that fixes this issue for me, but I’m not experienced with GTK+ so it may be wrong. Let me know if you want me to make a pull request from that.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.