@@ -112,11 +112,7 @@ class DecorationManager {
112
112
}
113
113
114
114
deleteDecoration ( key : DecorationKey ) {
115
- < < < << << HEAD
116
- let decorationTypes = this. editorToDecorations . get ( key . editorUri ) ;
117
- === === =
118
115
const decorationTypes = this . editorToDecorations . get ( key . editorUri ) ;
119
- >>> >>> > v0 .9 .184 - vscode
120
116
if ( ! decorationTypes ) {
121
117
return ;
122
118
}
@@ -132,20 +128,12 @@ class DecorationManager {
132
128
}
133
129
134
130
deleteAllDecorations ( editorUri : string ) {
135
- << < < < << HEAD
136
- let decorationTypes = this . editorToDecorations . get ( editorUri ) ?. keys ( ) ;
137
- === = ===
138
131
const decorationTypes = this . editorToDecorations . get ( editorUri ) ?. keys ( ) ;
139
- >>> > >>> v0 .9 .184 - vscode
140
132
if ( ! decorationTypes ) {
141
133
return ;
142
134
}
143
135
this . editorToDecorations . delete ( editorUri ) ;
144
- << < < < << HEAD
145
- for ( let decorationType of decorationTypes ) {
146
- === = ===
147
136
for ( const decorationType of decorationTypes ) {
148
- >>> > >>> v0 .9 .184 - vscode
149
137
this . rerenderDecorations ( editorUri , decorationType ) ;
150
138
}
151
139
}
@@ -168,27 +156,6 @@ function constructBaseKey(
168
156
} ;
169
157
}
170
158
171
- << < < < << HEAD
172
- const gutterSpinnerDecorationType =
173
- vscode . window . createTextEditorDecorationType ( {
174
- gutterIconPath : vscode . Uri . file (
175
- path . join ( __dirname , ".." , "media" , "spinner.gif" ) ,
176
- ) ,
177
- gutterIconSize : "contain" ,
178
- } ) ;
179
-
180
- export function showGutterSpinner (
181
- editor : vscode . TextEditor ,
182
- lineno : number ,
183
- ) : DecorationKey {
184
- const key = constructBaseKey ( editor , lineno , gutterSpinnerDecorationType ) ;
185
- decorationManager . addDecoration ( key ) ;
186
-
187
- return key ;
188
- }
189
-
190
- === = ===
191
- >>> > >>> v0 .9 .184 - vscode
192
159
export function showLintMessage (
193
160
editor : vscode . TextEditor ,
194
161
lineno : number ,
@@ -213,11 +180,7 @@ export function showLintMessage(
213
180
export function highlightCode (
214
181
editor : vscode . TextEditor ,
215
182
range : vscode . Range ,
216
- < < < << << HEAD
217
- removeOnClick : boolean = true ,
218
- = === ===
219
183
removeOnClick = true ,
220
- > > >>> >> v0 .9 .184 - vscode
221
184
) : DecorationKey {
222
185
const decorationType = vscode . window . createTextEditorDecorationType ( {
223
186
backgroundColor : "rgb(255, 255, 0, 0.1)" ,
0 commit comments