to highlight a text in pdf source, please make spacebar key eligible to highlight a text in pdf instead or along with enter key. As approaching spacebar is more convenient than enter key after every highlight.
also provide option to hide/toggle highlight toolbox in pdf after every highlight.