Disable auto-scrolling.
Disable auto-scrolling.

dossier/html-highlighter,dossier/html-highlighter,Subessware/html-highlighter,Subessware/html-highlighter,dossier/html-highlighter,Subessware/html-highlighter