Gnome Edit Properties: Cancel==Ok?

[Daniel Burrows <Daniel_Burrows brown edu>]

Package: control-center
Version: CVS 03-25-99

  It seems that if I change the editor in Gnome Edit Properties, then
select "Cancel", the new choice gets saved!  I think this is *not* the correct
behavior.

  Daniel
-- 
Whoever fights monsters should see to it that in the process he does not
become a monster.  And when you look into an abyss, the abyss also looks
into you.
		-- Friedrich Nietzsche