michael@0: // Seeks to the given time and then removes the SVG document's class to trigger
michael@0: // a reftest snapshot. If pauseFlag is true, animations will be paused.
michael@0: function setTimeAndSnapshot(timeInSeconds, pauseFlag) {
michael@0:   var svg = document.documentElement;
michael@0:   if (pauseFlag) {
michael@0:     svg.pauseAnimations();
michael@0:   }
michael@0:   svg.setCurrentTime(timeInSeconds);
michael@0:   svg.removeAttribute("class");
michael@0: }