You don't have to do this:
>     if (player != null) player.destroy ();

I think doing that will just confuse
Vala's "memory management".

hand
Nor Jaidi Tuah


_______________________________________________
vala-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/vala-list

Reply via email to