Fix #8106 - tidy up color higlighting on nav tree
[roobuilder] / notes /
2020-09-16 Alan KnowlesMerge branch 'master' of git.roojs.com/roobuilder
2020-09-16 Alan KnowlesFix #5829 - Messing around with flutter API