mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

Merge branch 'master' into statusbar-updates

Browse Source
pull/4960/head
Joseph Izang 4 months ago committed by GitHub
parent 137c359cf4 ba2c9fa5eb
commit cfc75da979
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 4
      libs/remix-ui/editor/src/lib/providers/inlineCompletionProvider.ts

4
libs/remix-ui/editor/src/lib/providers/inlineCompletionProvider.ts
Unescape View File

@ -117,7 +117,7 @@ export class RemixInLineCompletionProvider implements monacoTypes.languages.Inli
}; };
this.completionEnabled = false this.completionEnabled = false
const handleCompletionTimer = new CompletionTimer(1000, () => { this.completionEnabled = true }); const handleCompletionTimer = new CompletionTimer(100, () => { this.completionEnabled = true });
handleCompletionTimer.start() handleCompletionTimer.start()
return { return {
@ -150,7 +150,7 @@ export class RemixInLineCompletionProvider implements monacoTypes.languages.Inli
// handle the completion timer by locking suggestions request for 2 seconds // handle the completion timer by locking suggestions request for 2 seconds
this.completionEnabled = false this.completionEnabled = false
const handleCompletionTimer = new CompletionTimer(2000, () => { this.completionEnabled = true }); const handleCompletionTimer = new CompletionTimer(100, () => { this.completionEnabled = true });
handleCompletionTimer.start() handleCompletionTimer.start()
return { return {

Write Preview
Loading…
Cancel
Save