Re: Learning About Leo's Options

A good addition to the documentation . I just review my custom settings, in addition to font-related configuration, I have @bool log-pane-wraps = True @bool show-tips = False @bool highlight-body-line = True @enabled-plug

Learning About Leo's Options

>From time to time Leo adds new options, but it's hard to know that this happened let alone know what they are. Once in a while a setting might get removed, too. And even a long-time user can forget that such-and-such an option exists. Leo has a large number of settings and it can be overwhelm