fix clear both on ctrl-enter
[roojs1] / highlight /
2016-09-09 Alan KnowlesAttribute changed highlight