On Thursday, October 24, 2024 at 8:14:20 AM UTC-5 Edward K. Ream wrote:

> PR #4119 <https://github.com/leo-editor/leo-editor/pull/4119>has reached 
an epic milestone!

The only remaining items on my list are to add two new settings, something 
like the following, with the given defaults:

  @bool jupytext-delete-paired-python-file = True
  @string jupytext-read-format = 'py:percent'
  @string jupytext-write-format = 'py:percent' 

Expect these later today.

This PR should have no effect whatever on people who don't use @jupytext 
nodes, so unless I hear objections I plan to merge this PR tomorrow!

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 visit 
https://groups.google.com/d/msgid/leo-editor/506808d1-f9c3-467e-be4a-2074492d8492n%40googlegroups.com.

Reply via email to