r618: Undo items are only pushed if some time has passed since the last push.
commit69f36c67edf43b014dc9a1aced8d3958ec1d24d8
authorJohannes Sixt <johannes.sixt@telecom.at>
Thu, 11 Aug 2005 19:40:26 +0000 (11 19:40 +0000)
committerJohannes Sixt <johannes.sixt@telecom.at>
Thu, 11 Aug 2005 19:40:26 +0000 (11 19:40 +0000)
treec8678ee84e2c115596574bd07f0ed0b0649de879
parent01ddcf0724ca51d3e0cb40fd3bfa3836e09b3cd8
r618: Undo items are only pushed if some time has passed since the last push.
cinelerra/mainundo.C
cinelerra/mainundo.h