Looks like something is wrong the API website. I can't see https://api.gtkd.org/GtkNotebook.html for an example...