https://gnulinux.ro/blog-page-5924-marker-este-un-editor-puternic-gtk3-markdown-pentru-gnome/blog/cat/10/plugin/scrolltopcontrol/scrolltopcontrol.js