Grl.Media.add_external_player – grilo-0.3 Reference Manual
add_external_player
Description:
[
Version
( since =
"0.1.10"
) ]
public
void
add_external_player
(
string
player)
Adds a new external player to
this
.
Parameters:
this
a
Media
player
an external player for
this
2022 vala-language.org