I don't think so but I may not be up on the latest. On Monday, August 10, 2026 at 2:29:01 PM UTC-

I'm not done yet with the website stuff :). I creates an issue for possibly modernizing Leo's

On Mon, Aug 10, 2026 at 11:37 AM Ville M. Vainio <viva...@gmail.com> wrote: Yes, the source

So, everything is "ready to go" to publish the Leo website. The github action to do this is

There's a lot of optional dependencies that I don't really care about (numpy, matplotlib, ...

On Sun, Aug 9, 2026 at 11:58 AM Ville M. Vainio <viva...@gmail.com> wrote: ... or should we do

On Sun, Aug 9, 2026 at 5:16 AM Ville M. Vainio <viva...@gmail.com> wrote: Correction: ty now

On Sun, Aug 9, 2026 at 5:06 AM Viktor Ransmayr wrote: Hello Edward, Thomas & Ville, I did perform

When I developed the modification of the code that draws the right margin guide, I didn't have to

On Saturday, August 8, 2026 at 8:57:34 AM UTC-4 Ville M. Vainio wrote: Those are from mouse hover,

On Fri, Aug 7, 2026 at 1:16 PM Ville M. Vainio <viva...@gmail.com> wrote: As you may have

On Fri, Aug 7, 2026 at 11:55 AM Thomas Passin <tbp1...@gmail.com> wrote: I want to make a

On Friday, August 7, 2026 at 7:09:29 AM UTC-5 Ville M. Vainio wrote: I created a new issue to remove

On Friday, August 7, 2026 at 4:40:39 AM UTC-5 Ville M. Vainio wrote: Two small PRs against devel. - #

On Fri, Aug 7, 2026 at 3:38 AM Viktor Ransmayr wrote: > I performed the usual set of tests on

I created a pr for new theme. The PR also includes a picture of what it looks like. https://github.

This branch now has a proof of concept for using Tree sitter to color .py and .js files: https://

PR #4848 fixes hundreds of annotations and at least one real bug. This PR represents a stupendous

​I've moved up the due date for Leo 6.8.10. I'd like to release it soon after Ville completes

PR #4846 (in the "devel" branch) collapses the complexity of icon-description dicts and

On Wed, Aug 5, 2026 at 2:16 PM Viktor Ransmayr wrote: > for the moment we still see the error I

On Wednesday, August 5, 2026 at 5:12:26 AM UTC-5 Edward K. Ream wrote: > I continue to see

Regarding unit tests in ci, here's a pr for that: https://github.com/leo-editor/leo-editor/pull/

On Tuesday, August 4, 2026 at 11:30:04 AM UTC-5 Viktor wrote: >> Recent revs in PR #4841

PR #4841 supposedly is about the todo.py plugin. In fact, it tries to improve Leo's Qt-based unit

On Tue, Aug 4, 2026 at 7:18 AM Jacob Peck <gates...@gmail.com> wrote: I use it to apply

On Sun, Aug 2, 2026 at 9:01 AM Viktor Ransmayr <viktor....@gmail.com> wrote: Hello Edward

Every so often, Leo's documentation has announced breaking changes to Leo's API. Those

PR #4824 improves the mypy annotations for all generator methods. This PR changes no executable code:

PR #4827 updates many 135 files as the result of removing several dozen ruff lint suppressions. There