Better tooltips.#1504

per1234 merged 2 commits intoarduino:mainarduino/arduino-ide:mainfrom

dankeboy36:tooltipfixdankeboy36/arduino-ide:tooltipfixCopy head branch name to clipboard