diff --git a/src/flowr/internal-session.ts b/src/flowr/internal-session.ts index 1216f06..b5dd1a9 100644 --- a/src/flowr/internal-session.ts +++ b/src/flowr/internal-session.ts @@ -11,7 +11,7 @@ import { DEFAULT_DATAFLOW_PIPELINE, DEFAULT_NORMALIZE_PIPELINE, DEFAULT_SLICING_ import { requestFromInput } from '@eagleoutice/flowr/r-bridge/retriever' import { normalizedAstToMermaid } from '@eagleoutice/flowr/util/mermaid/ast' import { cfgToMermaid } from '@eagleoutice/flowr/util/mermaid/cfg' -import vscode from 'vscode'; +import vscode from 'vscode' export class FlowrInternalSession implements FlowrSession { @@ -144,7 +144,7 @@ export class FlowrInternalSession implements FlowrSession { request: requestFromInput(consolidateNewlines(document.getText())) }).allRemainingSteps() return normalizedAstToMermaid(result.normalize.ast) - }); + }) } async retrieveCfgMermaid(document: vscode.TextDocument): Promise { @@ -158,7 +158,7 @@ export class FlowrInternalSession implements FlowrSession { request: requestFromInput(consolidateNewlines(document.getText())) }).allRemainingSteps() return cfgToMermaid(extractCFG(result.normalize), result.normalize) - }); + }) } private async extractSlice(shell: RShell, document: vscode.TextDocument, positions: vscode.Position[]): Promise { diff --git a/src/position-slicer.ts b/src/position-slicer.ts index 7b0a8b0..6df01a5 100644 --- a/src/position-slicer.ts +++ b/src/position-slicer.ts @@ -10,8 +10,6 @@ import type { DecoTypes } from './slice' import { displaySlice, makeSliceDecorationTypes } from './slice' import { getSelectionSlicer } from './selection-slicer' import { Settings } from './settings' -import { get } from 'http' -import { clear } from 'console' const positionSlicerAuthority = 'doc-slicer' const positionSlicerSuffix = 'Slice' @@ -237,7 +235,7 @@ export class PositionSlicer { } } - private showErrors = true; + private showErrors = true protected async updateSlices(): Promise { // Update the decos that show the slice results @@ -254,7 +252,7 @@ export class PositionSlicer { if(this.showErrors){ setTimeout(() => this.setShowErrors(), getConfig().get(Settings.ErrorMessageTimer)) } - this.showErrors = false; + this.showErrors = false return } @@ -272,7 +270,7 @@ export class PositionSlicer { this.sliceDecos = undefined } private setShowErrors(): void{ - this.showErrors = true; + this.showErrors = true } }