On Sunday, September 15, 2019 at 3:14:56 PM UTC+2, vitalije wrote: > > It seems that p.isSelected is actually never used in Leo core. Most > probably it is just a remnant from ancient times. >
Curiously enough, both: p.setSelected, p.isSelected delegate to v.isSelected and v.setSelected. Apart from these delegations no other calls to any of these methods is found inside Leo core. I haven't searched for them inside plugins and other places. But it seems that Leo would work properly even without those methods. Vitalije -- 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 on the web visit https://groups.google.com/d/msgid/leo-editor/a0e9e5db-c32a-4a8f-aa47-871c31f180ea%40googlegroups.com.
