• Eric Gregory's avatar
    2293 re-thumbnail videos when GStreamer cookie changes · 9373d884
    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
MediaMonitor.vala 14.3 KB