MediaFile

---

Object Hierarchy:

Description:

Content:

Properties:

• public File file { get; set; }
  The file being played back or null if not playing a file.
• public InputStream input_stream { get; set; }
  The stream being played back or null if not playing a stream.

Static methods:

• public static MediaFile empty ()
  Creates a new empty media file.
• public static MediaFile for_file (File file)
  Creates a new media file to play file.
• public static MediaFile for_filename (string filename)
  Creates a new media file for the given filename.
• public static MediaFile for_input_stream (InputStream stream)
  Creates a new media file to play stream.
• public static MediaFile for_resource (string resource_path)
  Creates a new new media file for the given resource.

Creation methods:

• protected MediaFile ()

Methods:

• public void clear ()
  Resets the media file to be empty.
• public virtual void close ()
• public unowned File? get_file ()
  Returns the file that this is currently playing from.
• public unowned InputStream? get_input_stream ()
  Returns the stream that this is currently playing from.
• public virtual void open ()
• public void set_file (File? file)
  Sets the `GtkMediaFile` to play the given file.
• public void set_filename (string? filename)
  Sets the `GtkMediaFile to play the given file.
• public void set_input_stream (InputStream? stream)
  Sets the `GtkMediaFile` to play the given stream.
• public void set_resource (string? resource_path)
  Sets the `GtkMediaFile to play the given resource.

Inherited Members: