Robin Gareus 6016c9624e Manage OptionEditor labels ...

Because those Widgets are added to managed frames (for search highlight)
the labels inside also need to be managed and not destroyed with the
Option (which happens first).

This fixes various GTK warnings at exit
```
gtk_widget_unparent: assertion 'GTK_IS_WIDGET (widget)' failed
```

2023-05-31 21:36:24 +02:00

21 KiB

Raw Blame History

View Raw