drothlis / pretty-symbols

Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the like.
42 stars 5 forks source link

Use proper type declarations for custom variables #12

Closed DarwinAwardWinner closed 10 years ago

DarwinAwardWinner commented 10 years ago

This makes it possible to edit pretty-symbol-patterns and pretty-symbol-categories through M-x customize.

drothlis commented 10 years ago

Merged in 99871da4. Thanks!