tree 8054db96b92aa7728eeb8b65016e699a6a4710b6
parent 03dbc5d9489d674c37dd10fedd284d5948e9d9ae
author Marc Kupietz <kupietz@ids-mannheim.de> 1787468226 +0300
committer Marc Kupietz <kupietz@ids-mannheim.de> 1787468226 +0300

slide timing: per-speaker timing comments activate speaker view pacing

Port the Google-Docs slide workflow convention: timing comments like
<!-- JD 00:30 --> (speaker code plus MM:SS/HH:MM:SS/seconds duration, or
just <!-- 00:30 --> for single-speaker talks) are converted into
data-timing attributes on the rendered slides' <section> elements, and
the calculated grand total is passed to reveal.js as the totalTime
config value, activating the pacing timer in the speaker view. A
document-supplied totalTime or defaultTiming takes precedence.

A per-speaker time summary is printed during rendering; the new
slide_timing() function computes slide, speaker, and grand totals
directly from an .Rmd source file without rendering it.

Change-Id: I89d37baab06c6ee8be7ab777a70b9b21295c8780