Maybe a timeout function can do this. -----ԭʼ�ʼ�----- ������: Paul Barton-Davis [mailto:[EMAIL PROTECTED]] ����ʱ��: Wednesday, December 08, 1999 6:50 ���߲����� �ռ���: [EMAIL PROTECTED] ����: [gtk-list] arrow/widget switching i have an event box with an arrow contained within it. i want to be able flip the direction of the arrow from time to time. what's the best way to do this ? so far, i tried creating a right and left arrow, and adding/removing them from the event box. not good. --p -- To unsubscribe: mail -s unsubscribe [EMAIL PROTECTED] < /dev/null -- To unsubscribe: mail -s unsubscribe [EMAIL PROTECTED] < /dev/null
