lint

jpraet · jpraet · commit 2ea84fa7e905 · 2023-03-25T14:33:01.000+01:00
diff --git a/web_src/js/features/file-fold.js b/web_src/js/features/file-fold.js
@@ -7,7 +7,7 @@ import {svg} from '../svg.js';
 //
 export function setFileFolding(fileContentBox, foldArrow, newFold) {
   foldArrow.innerHTML = svg(`octicon-chevron-${newFold ? 'right' : 'down'}`, 18);
-  fileContentBox.setAttribute('data-folded', newFold);  
+  fileContentBox.setAttribute('data-folded', newFold);
   if (newFold && fileContentBox.getBoundingClientRect().top < 0) {
     fileContentBox.scrollIntoView();
   }

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ import {svg} from '../svg.js';`
`7`	`7`	`//`
`8`	`8`	`export function setFileFolding(fileContentBox, foldArrow, newFold) {`
`9`	`9`	foldArrow.innerHTML = svg(`octicon-chevron-${newFold ? 'right' : 'down'}`, 18);
`10`		`- fileContentBox.setAttribute('data-folded', newFold);`
	`10`	`+ fileContentBox.setAttribute('data-folded', newFold);`
`11`	`11`	`if (newFold && fileContentBox.getBoundingClientRect().top < 0) {`
`12`	`12`	`fileContentBox.scrollIntoView();`
`13`	`13`	`}`