gui_prefs.c.diff
Description: Binary data
Against 0.9.16/current CVS.
The gtk_table_set_row_spacings() change needed to be made since a new row was added, but there's probably a better way to order the row numbers in the two create_preference_radio_buttons() lines that would help prevent this from happening again...
