search

gtk-rs / gtk

DEPRECATED, use https://github.com/gtk-rs/gtk3-rs repository instead!
https://gtk-rs.org/
MIT License
1.25k stars 82 forks source link

Ignore some builders #1021

Closed GuillaumeGomez closed 4 years ago

GuillaumeGomez commented 4 years ago

It follows https://github.com/gtk-rs/gtk/pull/1019. The point being they stop showing up when running gir -m not_bound.

Although, there is a little issue on gir side which completely ignores the ignored builders. I'll send a fix there.

GuillaumeGomez commented 4 years ago

I should sort the ignores though...

GuillaumeGomez commented 4 years ago

The ignore will be taken into account when https://github.com/gtk-rs/gir/pull/933 will be merged. I'll update this PR tomorrow.

GuillaumeGomez commented 4 years ago

The removed builders seem to be a soundness bug we had before. They're not supposed to exist.