fix for quick edit scrolling

Author: longhotsummer

indigo_app/static/javascript/indigo/views/document_editor.js

@@ -96,7 +96,12 @@
 
       if (element && this.confirmAndDiscardChanges()) {
         this.editXmlElement(element);
+
+        this.contentPane.querySelector('.quick-editing')?.classList.remove('quick-editing');
         htmlElement.classList.add('quick-editing');
+
+        // scroll it almost (but not quite) to the top
+        htmlElement.style.scrollMarginTop = '10px';
         htmlElement.scrollIntoView({behavior: "smooth"});
       }
     },