highlighting: emit sizeChanged on HL finish to update scrollbars. Fix enki bug 191
Fix previous fix