MediaElement.Markers Properti
Definisi
Penting
Beberapa informasi terkait produk prarilis yang dapat diubah secara signifikan sebelum dirilis. Microsoft tidak memberikan jaminan, tersirat maupun tersurat, sehubungan dengan informasi yang diberikan di sini.
Mendapatkan kumpulan penanda garis waktu yang terkait dengan file media yang saat ini dimuat.
public:
property TimelineMarkerCollection ^ Markers { TimelineMarkerCollection ^ get(); };
TimelineMarkerCollection Markers();
public TimelineMarkerCollection Markers { get; }
var timelineMarkerCollection = mediaElement.markers;
Public ReadOnly Property Markers As TimelineMarkerCollection
Nilai Properti
Kumpulan penanda garis waktu (direpresentasikan sebagai objek TimelineMarker ) yang terkait dengan file media yang saat ini dimuat. Defaultnya adalah koleksi kosong.
Contoh
Contoh berikut membuat objek MediaElement dan merespons peristiwa MarkerReached-nya . Setiap kali penanda garis waktu tercapai, contoh menampilkan nilai Waktu, Jenis, dan Teks penanda garis waktu.
<MediaElement Name="Media" Source="video.mp4" MarkerReached="Media_MarkerReached" />
<TextBlock Name="txOutput" />
private void Media_MarkerReached(object sender, TimelineMarkerRoutedEventArgs e)
{
txOutput.Text =
string.Format("{0},{1},{2}", e.Marker.Time, e.Marker.Text, e.Marker.Type);
}
Keterangan
Penanda garis waktu adalah metadata yang terkait dengan titik tertentu dalam file media. Penanda ini biasanya dibuat sebelumnya dan disimpan dalam file media itu sendiri. Mereka biasanya digunakan untuk memberi nama adegan yang berbeda dalam video atau memberikan isjin pembuatan skrip. Dengan menangani peristiwa MarkerReached objek MediaElement atau dengan mengakses properti Penanda objek MediaElement, Anda dapat menggunakan penanda garis waktu untuk memicu tindakan atau memungkinkan pengguna mencari posisi yang dipilih dalam file media.