Use of rewind feature (stateman) with GTK.