In devel: PR #4322 cleans Leo's code

12 views

Skip to first unread message

unread,

Apr 1, 2025, 6:38:16 AMApr 1

to leo-editor

PR #4322 is now part of Leo's "devel" branch. This PR:

- Removes three unused methods and moves them to the attic.

- Removes three unused vars that Leo previously injected into various widgets.

- Improves one annotation.

- Adds comments to all remaining `Widget = Any` annotations explaining why `Any` is correct.

This PR is unlikely to cause problems. Please let me know if I am mistaken.

Edward

Reply all

Reply to author

Forward

0 new messages