Le 18/07/2016 16:44, Richard Heck a écrit :
I'm not sure how "intuitive" the symbols here need to be. People may not realize immediately what "✔ ¬Branch" means, but I would think they would generally figure it out pretty quickly. Plus of course it can be mentioned in the docs. And I'm not sure "not Branch" is any clearer.
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.