On 07/18/2016 05:40 PM, Guillaume Munch wrote: > Le 18/07/2016 21:59, Jean-Marc Lasgouttes a écrit : >> Le 18/07/2016 à 22:21, Guillaume Munch a écrit : >>> I vote ¬ over striking out, and agree that users will figure it out. >>> But I expect other people will prefer it spelled. Let's wait and see. >> >> And shall ✔ mean that the inset is activated or that the branch is >> activated? I vote for the former. >> > > Likewise. It seems more intuitive, and also consistent with the > outliner, in which the cross denotes something not in the output.
This is fine with me. Richard