On Sun, Feb 5, 2023 at 1:25 PM Félix <felixgra...@gmail.com> wrote: > Good, i also think this command should go away.
:-) I propose to remove it today from leointeg, leojs , leoserver.py (on the > felix-server5 branch that i'm working on) - and i'll leave it to you to > remove it from Leo's leoFind.py itself. (along with the findAllUniqueFlag > variable in leoFind.py __init__ method.) > Will do. Thanks for finding this cruft. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS30e3ChKPXEOgaVxs%3DR14_HyTVaObjPuVrS%2B67xcE3LuA%40mail.gmail.com.