Results grid options (#962)

* added inital config

* added the ability to specifiy properties of the grid

* formatting

* fix some rendering bugs

* vbump
This commit is contained in:
Anthony Dresser
2018-03-23 13:41:16 -07:00
committed by GitHub
parent 357bb1916e
commit f2779f2a50
10 changed files with 216 additions and 48 deletions

View File

@@ -23,6 +23,7 @@ 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();