diff options
| author | Carl Hetherington <cth@carlh.net> | 2022-09-27 00:50:35 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2022-09-27 13:46:16 +0200 |
| commit | 111c05bebe5bc2b6f0031f66e429390ffe704556 (patch) | |
| tree | e39ef0d9391ccab84d1a05582589e00a02cdd36c /src/lib/player.h | |
| parent | 9adbb3c5ab5d90268a3009c4a6f1bbc5f6290d81 (diff) | |
Use EnumIndexedVector in Player.
Diffstat (limited to 'src/lib/player.h')
| -rw-r--r-- | src/lib/player.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lib/player.h b/src/lib/player.h index 22701cb2c..b6ee4e9c6 100644 --- a/src/lib/player.h +++ b/src/lib/player.h @@ -32,6 +32,7 @@ #include "content_text.h" #include "content_video.h" #include "empty.h" +#include "enum_indexed_vector.h" #include "film.h" #include "image.h" #include "player_text.h" @@ -224,7 +225,7 @@ private: Empty _black; Empty _silent; - ActiveText _active_texts[static_cast<int>(TextType::COUNT)]; + EnumIndexedVector<ActiveText, TextType> _active_texts; std::shared_ptr<AudioProcessor> _audio_processor; boost::atomic<dcpomatic::DCPTime> _playback_length; |