Update current line highlight after font size change (fix #265)