Patch: preference saving fix

Tom Tromey tromey@redhat.com
Fri May 11 18:48:00 GMT 2001


>>>>> "Fernando" == Fernando Nasser <fnasser@redhat.com> writes:

>> This confuses the logic in prefs.tcl.
>> Fixing it in prefs.tcl was easier.
>> Ok to commit?

Fernando> It is OK with me.

Thanks, I checked it in.

Tom



More information about the Insight mailing list