added
is enhancement
labels
Jun 11, 2019DanTup changed the base branch from master to add-ide-to-devtools-qs
June 11, 2019 11:24DanTup changed the base branch from add-ide-to-devtools-qs to master
June 11, 2019 11:24…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.
Closed
DanTup deleted the filter-completions-for-imports branch
June 11, 2019 17:25This was referenced
Jun 17, 2019Closed
Closed