RE: Edit grid crash on Linux: adjusting selection (corrected)

[I apologize: there were typos in the Ubuntu version number and in step 7. Here is the corrected version.]

Here's another edit grid bug: this one is a crash. I see this only on Linux, on both 1.8.4 and 1.10.0
Linux is Ubuntu 9.04 (jaunty), updated to latest packages as of today. If you want to know a specific gtk2 package
version,let me know. 

1. Start up a fresh pgadmin3.
2. Bring up an edit grid for a table.
3. Click on a single cell in a leftmost data column.
4. Scroll down so the selected cell is no longer visible.
5. Shift-select a leftmost cell in a lower row.
6. Press delete  (do not omit this step). Nothing appears to happen.
7. Shift-click in the rightmost cell in the row used in step 5.
8. Press delete.
9. A segmentation fault occurs. gdb says it is in frmEditGrid::OnDelete().

Step 4 is crucial: if you don't scroll it out of sight you just end up editing the selected cell. I'm not sure about
theneed for a fresh start (step 1), but it may be necessary, as doing some other editing before the steps above
sometimesdoesn't invoke the bug. 

Regards,