josdejong/jsoneditor
Voir sur GitHubFilter Append, Type and Insert based on JSON schema
Open
#1 416 ouverte le 30 janv. 2022
featurehelp wanted
Métriques du dépôt
- Stars
- (10 781 stars)
- Métriques de merge PR
- (Merge moyen 15h 36m) (3 PRs mergées en 30 j)
Description
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.
