Closed josdejong closed 10 months ago
See #163
This PR:
JSONSelection
TextSelection
JSONEditorSelection
.select(selection: JSONEditorSelection | null)
text
tree
table
onSelect(newSelection: JSONEditorSelection | null)
See #163
This PR:
JSONSelection
type: remove derived and redundant information from it to make it suitable for a public APITextSelection
for text mode, and an overarchingJSONEditorSelection
.select(selection: JSONEditorSelection | null)
for all modes (text
,tree
,table
)onSelect(newSelection: JSONEditorSelection | null)
for all modes (text
,tree
,table
)