Code of Emacs front end should use Emacs's “customization” user interface

ultra-group / skalpel

A type error slicer for Standard ML

GNU General Public License v3.0

10 stars 1 forks source link

Code of Emacs front end should use Emacs's “customization” user interface #112

Open jpirie opened 10 years ago

jpirie commented 10 years ago

We are not taking advantage of Emacs's “customization” user interface. We do not use the Emacs Lisp defcustom macro anywhere, so none of our configurable settings have this support. We should define all of our configurable settings in such a way that they show up in the customization interface.