set_video_filter


Description:

public void set_video_filter (Element? element)

Set Element to be used as video filter.

Parameters:

this

a Player

element

a Element or null for none.