Closed GuillaumeGomez closed 2 years ago
As nicely suggested by @sdroege, I applied the patch from https://github.com/gtk-rs/gtk3-rs/pull/742.
As nicely suggested by @sdroege, I applied the patch from https://github.com/gtk-rs/gtk3-rs/pull/742.