r1038: Title plugin: Update the "use time code" checkbox.
commit119794ed2bdb204140048547931d48a7e717b12d
authorJohannes Sixt <johannes.sixt@telecom.at>
Mon, 29 Oct 2007 19:25:16 +0000 (29 19:25 +0000)
committerJohannes Sixt <johannes.sixt@telecom.at>
Mon, 29 Oct 2007 19:25:16 +0000 (29 19:25 +0000)
tree30e3284e182c5ff66bcb0550d79709eb5cf55294
parentc46d7a298b48a60df18198d6122218b7a8e24cfe
r1038: Title plugin: Update the "use time code" checkbox.

When during playback (or scrubbing) a keyframe is crossed where the state
of this option changes, the change was not reflected in the UI.
plugins/titler/titlewindow.C