try and get ctrl-enter to add a clear all
[roojs1] / highlight / styles /
2016-09-09 Alan KnowlesAttribute changed highlight