daveb
committed
on 18 Nov 06
The real fix for changing the number of rows in the richtext widgets
without accidentally deleting half the file.