remove border from tree indent#1140

davegarthsimpson merged 2 commits intomainarduino/arduino-ide:mainfrom

hide-line-in-tree-indentarduino/arduino-ide:hide-line-in-tree-indentCopy head branch name to clipboard