> {
> - gtk_notebook_remove_page(GTK_NOTEBOOK(notebook), page_index);
> - page_index = -1;
> + gtk_container_remove(GTK_CONTAINER(notebook), properties_tab);
you should probably simply destroy the widget,
`gtk_widget_destroy(properties_tab)` (see [`gtk_container_remove()`
docs](https://developer.gnome.org/gtk3/stable/GtkContainer.html#gtk-container-remove))
---
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-plugins/pull/448/files/c65a560415657f39929223b8eb095ad9b6caad5c#r67194136
