Three PRs merged into devel

19 views

Skip to first unread message

unread,

Jan 8, 2025, 5:08:29 AMJan 8

to leo-editor

The "devel" branch now contains the following three PRs:

- PR #4261: Improve @killcolor and Rust colorizing.

- PR #4264: Improve VR imports.

- PR #4265: Improve how Leo handles breakpoint statements.

I welcome any post-merge comments and reviews.

All three PRs work for me, but more testing is needed. Please report any problems immediately.