I finally found a way that I may even remember. At the bottom of the left-hand strip of the leointeg window there is a Settings icon, looking like an asterisk. Clicking this brings up a menu with a "Settings" item (it also has a Command Palette item). Selecting Settings, I get a screen marked "Commonly used", and you can select Editor there. This gives me body fonts settings, among other things.
On Wednesday, July 21, 2021 at 1:05:36 PM UTC-4 Edward K. Ream wrote: > On Wed, Jul 21, 2021 at 9:46 AM [email protected] <[email protected]> > wrote: > > Third, I don't see any gui settings panel, and I keep forgetting how to >> find it. Whenever I do, it's always by accident when I'm doing something >> else. This morning, no accidents! >> > > *Use the palette, Luke!* The palette is more sophisticated than Leo's > minibuffer. After Ctrl-Shift-P, try searching for "sett" or "sett ui" or > "sett json" or "leo set". > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/01b0e3b0-5db6-454b-8432-7cc299e68e1an%40googlegroups.com.
