diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-23 07:45:08 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-23 07:45:08 +0000 |
commit | 1d7baef0e96d6c1db2d049f3770588f07b8d739f (patch) | |
tree | ebfe1de5f52c088f20ffd3d1c591514e844307e0 /editors/code/src/server.ts | |
parent | 488326ffa74bea2773eed9c1849e9d3b9eac9b2d (diff) | |
parent | 13d2fd32ab5df598496c6abbf46591ff05cd3def (diff) |
Merge #603
603: fix completion bugs r=gfreezy a=gfreezy
The result is as below.
before:
![image](https://user-images.githubusercontent.com/510012/51483467-0f641400-1dd4-11e9-9921-ef21d15cc343.png)
after:
![image](https://user-images.githubusercontent.com/510012/51483433-fb201700-1dd3-11e9-9730-c2a5d3dd5f5a.png)
Co-authored-by: gfreezy <[email protected]>
Diffstat (limited to 'editors/code/src/server.ts')
0 files changed, 0 insertions, 0 deletions