[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: customize

From: Edward Welbourne
Subject: Re: customize
Date: Mon, 15 Jul 2002 17:36:40 +0200

> I think that's what the "erase customization" option is for
> (in the menu that pops up when you middle-click on `state').
> Have you tried it ?

aha !  The UI detail I hadn't found.
I'll look for it when I come to play with this later.
Thanks for mentioning its existence.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]