[AdgGtkArea] New API: adg_gtk_get_extents()