Opened 9 years ago

Closed 9 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:


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 9 years ago by David Aspinall

Resolution: wontfix
Status: newclosed

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.