On Tue, 2009-06-09 at 16:27 +0200, Jens Kristian Jensen wrote: > MediaPlayerManager.getDefaultMediaPlayer(MediaPlayerProxy);
Try the following:
MediaPlayerManager.getDefaultMediaPlayer(out MediaPlayerProxy);
Alternatively, you can also use it as return value:
MediaPlayerProxy = MediaPlayerManager.getDefaultMediaPlayer();
Jürg
_______________________________________________
Vala-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/vala-list
