I'm a new lean-mode user and I find that it is really nice to have lean-message-boxes-enabledp on by default. I first checked customize to see if I could change the default but it is declared with defvar so I was unable to configure it via customize. It's a trivial matter for emacs experts to add the following to their init.el, but I think it would be even better if this option was exposed to customize:
I'm a new lean-mode user and I find that it is really nice to have
lean-message-boxes-enabledpon by default. I first checkedcustomizeto see if I could change the default but it is declared withdefvarso I was unable to configure it viacustomize. It's a trivial matter for emacs experts to add the following to theirinit.el, but I think it would be even better if this option was exposed tocustomize:Thank you!