In GTK 3, it was possible to write:
call gtk_container_set_border_width(win, border)
In GTK 4, you must write:
call gtk_widget_set_margin_start (win, border)
call gtk_widget_set_margin_end (win, border)
call gtk_widget_set_margin_top (win, border)
call gtk_widget_set_margin_bottom (win, border)
It could be interesting to wrote a helper function in src/gtk-sup.f90. Its name should indicate that it is not part of GTK 4, so gtk_container_set_border_width() is not a good option.
What about simply container_set_border_width() ?
In GTK 3, it was possible to write:
call gtk_container_set_border_width(win, border)In GTK 4, you must write:
It could be interesting to wrote a helper function in
src/gtk-sup.f90. Its name should indicate that it is not part of GTK 4, sogtk_container_set_border_width()is not a good option.What about simply
container_set_border_width()?