DanTup · GitHub

@DanTup added is enhancement

An enhancement or improvement that should be listed in release notes but is not a bug fix.

in editor

Relates to code editing or language features

labels

Jun 11, 2019

@DanTup

DanTup changed the base branch from master to add-ide-to-devtools-qs

June 11, 2019 11:24

@DanTup

DanTup changed the base branch from add-ide-to-devtools-qs to master

June 11, 2019 11:24

@DanTup

…equest
This doesn't change anything today because the server sends the event right before every completion, however if it's optimised there, we'll get the benefit here.
Fixes #1776.

@DanTup

@DanTup

Closed

@DanTup

@DanTup

DanTup deleted the filter-completions-for-imports branch

June 11, 2019 17:25

This was referenced

Jun 17, 2019

Closed

Closed

Read the original on github.com ↗