r454: Fixed that the color pickers (if opened) were not updated during playback.
commit1a23eac960019066d19ffc38de7b74c292a75114
authorJohannes Sixt <johannes.sixt@telecom.at>
Sun, 10 Oct 2004 19:12:50 +0000 (10 19:12 +0000)
committerJohannes Sixt <johannes.sixt@telecom.at>
Sun, 10 Oct 2004 19:12:50 +0000 (10 19:12 +0000)
treeee7bcf9dca039701ec43ae648e2ff3d51d9134d9
parente265d24c9f803cd01ea486530381727861c3dbef
r454: Fixed that the color pickers (if opened) were not updated during playback.
plugins/colors/colorpicker.C
plugins/colors/colorpicker.h
plugins/gradient/gradient.C
plugins/titler/title.C