From b687f4bff9e51620a900bad16b70a75c3d3b5a6a Mon Sep 17 00:00:00 2001 From: Felipe Provenzano Date: Fri, 29 Jun 2018 09:10:36 +0200 Subject: [PATCH 1/2] Added support to bootstrap 4 on json-editor Signed-off-by: Felipe Provenzano --- types/json-editor/index.d.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/types/json-editor/index.d.ts b/types/json-editor/index.d.ts index 280c17e70f..2161c7fb06 100644 --- a/types/json-editor/index.d.ts +++ b/types/json-editor/index.d.ts @@ -1,6 +1,7 @@ // Type definitions for json-editor // Project: https://github.com/jdorn/json-editor // Definitions by: York Yao +// Definitions by: Felipe Provenzano // Definitions: https://github.com/DefinitelyTyped/DefinitelyTyped type JSONEditorOptions = { @@ -75,7 +76,7 @@ type JSONEditorOptions = { /** * The CSS theme to use. */ - theme?: "barebones" | "html" | "bootstrap2" | "bootstrap3" | "foundation3" | "foundation4" | "foundation5" | "foundation6" | "jqueryui"; + theme?: "barebones" | "html" | "bootstrap2" | "bootstrap3" | "bootstrap4" | "foundation3" | "foundation4" | "foundation5" | "foundation6" | "jqueryui"; /** * If true, only required properties will be included by default. */ From 4fc58a47ea28c1bbcd921335ac6c792496d12221 Mon Sep 17 00:00:00 2001 From: Felipe Provenzano Date: Fri, 29 Jun 2018 10:04:36 +0200 Subject: [PATCH 2/2] Solved compilation problems --- types/json-editor/index.d.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/types/json-editor/index.d.ts b/types/json-editor/index.d.ts index 2161c7fb06..947dfad4bb 100644 --- a/types/json-editor/index.d.ts +++ b/types/json-editor/index.d.ts @@ -1,7 +1,7 @@ // Type definitions for json-editor // Project: https://github.com/jdorn/json-editor // Definitions by: York Yao -// Definitions by: Felipe Provenzano +// Felipe Provenzano // Definitions: https://github.com/DefinitelyTyped/DefinitelyTyped type JSONEditorOptions = {