Update preview when caption type changes.

diff --git a/src/lib/player.cc b/src/lib/player.cc
index 719e59acc9ab4e7a062eed99a06a33d772f6aea4..72c0519c6512cc3e0d8f0ce8103383308aec22a5 100644 (file)
--- a/src/lib/player.cc
+++ b/src/lib/player.cc
@@ -230,6 +230,7 @@ Player::playlist_content_changed (weak_ptr<Content> w, int property, bool freque
                property == CaptionContentProperty::Y_OFFSET ||
                property == CaptionContentProperty::X_SCALE ||
                property == CaptionContentProperty::FONTS ||
+               property == CaptionContentProperty::TYPE ||
                property == VideoContentProperty::CROP ||
                property == VideoContentProperty::SCALE ||
                property == VideoContentProperty::FADE_IN ||