drothlis/pretty-symbols — pull request #12 by DarwinAwardWinner (2013-11-24 18:46:18+00:00)
Title: Use proper type declarations for custom variables

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