PR #4322 <https://github.com/leo-editor/leo-editor/pull/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 -- 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/2010c0c8-b138-4afc-aaba-4b75463c2267n%40googlegroups.com.
