1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
---
source: tests/it/completion.rs
assertion_line: 735
expression: "complete_and_resolve(&server, uri, 3, 8)?"
---
{
"isIncomplete": false,
"items": [
{
"label": "figure",
"kind": 1,
"detail": "built-in",
"preselect": false,
"sortText": "00",
"textEdit": {
"range": {
"start": {
"line": 3,
"character": 7
},
"end": {
"line": 3,
"character": 8
}
},
"newText": "figure"
}
},
{
"label": "filecontents",
"kind": 1,
"detail": "built-in",
"preselect": false,
"sortText": "01",
"textEdit": {
"range": {
"start": {
"line": 3,
"character": 7
},
"end": {
"line": 3,
"character": 8
}
},
"newText": "filecontents"
}
},
{
"label": "flushleft",
"kind": 1,
"detail": "built-in",
"preselect": false,
"sortText": "02",
"textEdit": {
"range": {
"start": {
"line": 3,
"character": 7
},
"end": {
"line": 3,
"character": 8
}
},
"newText": "flushleft"
}
},
{
"label": "flushright",
"kind": 1,
"detail": "built-in",
"preselect": false,
"sortText": "03",
"textEdit": {
"range": {
"start": {
"line": 3,
"character": 7
},
"end": {
"line": 3,
"character": 8
}
},
"newText": "flushright"
}
},
{
"label": "foo",
"kind": 1,
"detail": "user-defined",
"preselect": false,
"sortText": "04",
"textEdit": {
"range": {
"start": {
"line": 3,
"character": 7
},
"end": {
"line": 3,
"character": 8
}
},
"newText": "foo"
}
},
{
"label": "proof",
"kind": 1,
"detail": "amsthm.sty",
"preselect": false,
"sortText": "05",
"textEdit": {
"range": {
"start": {
"line": 3,
"character": 7
},
"end": {
"line": 3,
"character": 8
}
},
"newText": "proof"
}
}
]
}
|