LeoJS's settings are handled by VSC. I don't see how to add one that isn't already listed. For example, the new *prefer-nav-pane* setting. Also, is there a way to add an outline-specific setting?
-- 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/5052ab2a-2976-4388-9745-3c9c28d74b84n%40googlegroups.com.
