Haha! No problem! 

 :)

In case someone wants to see a use-case of changing/using Leo settings in 
LeoJS, there's a section in this video https://youtu.be/M_mKXSbVGdE?t=240 
(starting at 4:00 in the video) specifically about settings.


On Sunday, June 23, 2024 at 7:01:53 AM UTC-4 [email protected] wrote:

> Oh, of course.  Silly of me. I saw those VSC settings and imagined that 
> they had replaced Leo's @settings trees. Thanks.
>
> On Saturday, June 22, 2024 at 11:39:02 PM UTC-4 Félix wrote:
>
>> They are handled exactly like in Leo, with @settings node, etc.. 
>>
>> LeoJS will read your myLeoSettings.leo the same as  the original Leo, and 
>> will honor all settings that normally apply when opening your Leo file.
>>
>> On Saturday, June 22, 2024 at 10:43:03 PM UTC-4 [email protected] wrote:
>>
>>> 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/dad33767-d3db-44ae-9971-45dbbfbc93a1n%40googlegroups.com.

Reply via email to