I think we could do with something that's easier to see. :-) > Perhaps a discrete "+" or "-" sign could do the job, as here, > > https://code.visualstudio.com/assets/docs/editor/codebasics/folding.png Oh, yeah, +/- seems like a better thing than these arrows, which don't really convey much semantically, I think. -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no