Fix #8049 - language server hover and editor hover (not supported for gtkview / rooview)
[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