Opened 13 years ago

Closed 12 years ago

#402 closed defect (wontfix)

Clean up customization groups/settings

Reported by: David Aspinall Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.2
Component: 2:pg-emacs Keywords:
Cc:

Description

The customization groups for Proof General need a bit of tidying: for example, the Proof General Internals group and Prover Config group has settings which appear as CHANGED or UNINITIALIZED.

These probably don't cause any problems in everyday use but are odd to users who browse Customize options.

Change History (1)

comment:1 Changed 12 years ago by David Aspinall

Resolution: → wontfix
Status: new → closed

Doesn't seem worth fixing this (it would probably only clutter the instantiation mechanism to no great benefit).

Note: See TracTickets for help on using tickets.