@@ -601,7 +601,7 @@ export function collectElements(tagname: string, html? : string | undefined) : a
601601 if ( html ) {
602602 const document = parse ( html ) ;
603603 const links = document . querySelectorAll ( tagname ) ;
604- for ( let element of links . values ( ) ) {
604+ for ( const element of links . values ( ) ) {
605605 elements . push ( element ) ;
606606 }
607607 }
@@ -612,7 +612,7 @@ export function gatherAllRequirementsLinks() : any[] {
612612 const requirements = [ ] ;
613613 if ( didactManager . active ( ) ?. getCurrentHTML ( ) ) {
614614 const links = collectElements ( "a" , didactManager . active ( ) ?. getCurrentHTML ( ) ) ;
615- for ( let element of links . values ( ) ) {
615+ for ( const element of links . values ( ) ) {
616616 if ( element . getAttribute ( 'href' ) ) {
617617 const href = element . getAttribute ( 'href' ) ;
618618 for ( const check of requirementCommandLinks ) {
@@ -631,7 +631,7 @@ export function gatherAllCommandsLinks(): any[] {
631631 const commandLinks = [ ] ;
632632 if ( didactManager . active ( ) ?. getCurrentHTML ( ) ) {
633633 const links = collectElements ( "a" , didactManager . active ( ) ?. getCurrentHTML ( ) ) ;
634- for ( let element of links . values ( ) ) {
634+ for ( const element of links . values ( ) ) {
635635 if ( element . getAttribute ( 'href' ) ) {
636636 const href = element . getAttribute ( 'href' ) ;
637637 if ( href . startsWith ( commandPrefix ) ) {
@@ -986,7 +986,7 @@ export async function pasteClipboardToActiveEditorOrPreviouslyUsedOne() : Promis
986986}
987987
988988export async function findOpenEditorForFileURI ( uri : vscode . Uri ) : Promise < vscode . TextEditor | undefined > {
989- for ( let editor of vscode . window . visibleTextEditors . values ( ) ) {
989+ for ( const editor of vscode . window . visibleTextEditors . values ( ) ) {
990990 if ( editor . document . uri === uri ) {
991991 return editor ;
992992 }
@@ -1025,7 +1025,7 @@ function getTimeElementsForAdoc(content : string) : any[] {
10251025
10261026function processTimeTotalForMD ( content : string ) : number {
10271027 let total = 0 ;
1028- let elements : any [ ] = getTimeElementsForMD ( content ) ;
1028+ const elements : any [ ] = getTimeElementsForMD ( content ) ;
10291029 if ( elements && elements . length > 0 ) {
10301030 elements . forEach ( element => {
10311031 const timeAttr = element . getAttribute ( "time" ) ;
@@ -1042,7 +1042,7 @@ function processTimeTotalForMD(content : string) : number {
10421042
10431043function processTimeTotalForAdoc ( content : string ) : number {
10441044 let total = 0 ;
1045- let elements : any [ ] = getTimeElementsForAdoc ( content ) ;
1045+ const elements : any [ ] = getTimeElementsForAdoc ( content ) ;
10461046 if ( elements && elements . length > 0 ) {
10471047 elements . forEach ( element => {
10481048 const classAttr : string = element . getAttribute ( "class" ) ;
0 commit comments