-
Eric Gregory authored
This fix: * Forces VideoMonitor to redo video thumbnails when the GStreamer cookie changes * Fixes a translatable string "todo" * Removes an unnecessary call to Video.init() * Provides a workaround for newly-discovered Vala bug #655594
9373d884