josdejong/jsoneditor
Auf GitHub ansehenFilter Append, Type and Insert based on JSON schema
Open
#1.416 geöffnet am 30. Jan. 2022
featurehelp wanted
Repository-Metriken
- Stars
- (10.781 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 15h 36m) (3 gemergte PRs in 30 T)
Beschreibung
On menu open, pseudo add each suggestion (including templates) and validate against provided JSON schema (and onValidate). If validation failed, disable (grey out, or hide) suggestion. If all options fails, possibly disable the sub-menu.
