mirror of
https://github.com/voideditor/void
synced 2026-05-24 09:58:23 +00:00
merge - but appears broken
This commit is contained in:
parent
18557c8f6e
commit
d3962acd30
2 changed files with 1 additions and 5 deletions
|
|
@ -2,7 +2,7 @@ import * as vscode from 'vscode';
|
|||
import { findDiffs } from './findDiffs';
|
||||
import { Diff, DiffArea, BaseDiff, } from '../common/shared_types';
|
||||
import { readFileContentOfUri } from './extensionLib/readFileContentOfUri';
|
||||
|
||||
const THRTOTLE_TIME = 100 // minimum time between edits
|
||||
|
||||
|
||||
// TODO in theory this should be disposed
|
||||
|
|
|
|||
|
|
@ -8,10 +8,6 @@ import { readFileContentOfUri } from './extensionLib/readFileContentOfUri';
|
|||
|
||||
const LINES_PER_CHUNK = 20 // number of lines to search at a time
|
||||
|
||||
// const THRTOTLE_TIME = 100 // minimum time between edits
|
||||
// throttle(
|
||||
// THRTOTLE_TIME, { trailing: true }
|
||||
// )
|
||||
|
||||
type CompetedReturn = { isFinished: true, } | { isFinished?: undefined, }
|
||||
const streamChunk = ({ diffProvider, docUri, oldFileStr, completedStr, diffRepr, diffArea, voidConfig, abortRef }: { diffProvider: DiffProvider, docUri: vscode.Uri, oldFileStr: string, completedStr: string, diffRepr: string, voidConfig: VoidConfig, diffArea: DiffArea, abortRef: AbortRef }) => {
|
||||
|
|
|
|||
Loading…
Reference in a new issue