Wim Taymans 9154ebe374 Make sure the widget gets updated even if the slider value doesn't change.
Original commit message from CVS:
Make sure the widget gets updated even if the slider value doesn't change.
2004-07-16 11:05:53 +00:00
..
2004-03-15 19:32:27 +00:00
2004-03-15 19:32:27 +00:00
2003-08-10 00:01:58 +00:00
2004-04-13 13:41:20 +00:00
2004-03-15 19:32:27 +00:00
2004-03-15 19:32:27 +00:00
2004-03-14 22:34:33 +00:00
2004-05-19 06:10:49 +00:00