Revert "Results grid options (#962)" (#979)

This reverts commit f2779f2a50.
This commit is contained in:
Karl Burtram
2018-03-23 22:16:32 -07:00
committed by GitHub
parent f91010c398
commit ab91c88b34
10 changed files with 48 additions and 216 deletions

View File

@@ -23,7 +23,6 @@ export class QueryResultsInput extends EditorInput {
// Holds the HTML content for the editor when the editor discards this input and loads another
private _editorContainer: HTMLElement;
public css: HTMLStyleElement;
constructor(private _uri: string) {
super();