On Wed, Sep 26, 2012 at 1:01 PM, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
- Removed turn-on-num3-mode since (num3-mode) does the same anyway.I do see that when num3-mode is already enabled (turn-on-num3-mode) did
nothing whereas (num3-mode) will call font-lock-fontify-buffer but if
that's a problem, we should fix num3-mode.
I'm not sure what the "-num-" prefix is meant to be and I'm not fond
of it. If it's meant for internal functions, then please use
"num--" instead.