Re: pruning "redundant" properties while editing

[Pierre Abbat]

On Thu, 15 Mar 2001, Paul Rohr wrote:
>Even if it were desirable, I see no good way for the UI to also say:
>
>  - make this selection the default size (step 2a)

If you click on the combobox, you get a list of numbers. Why not add "Default"
to the numbers? Of course, if you do this to the fonts, someone might have a
font named "Default", which will be confusing.

phma