Fixing font-lock-dec funs
Use customize-set-variable for menu
Improve menu