void () { final String midia = """ { "properties": { "mittel" : { "type": ["integer", "boolean"], "description": "this is found!", "enum": [1,2, false] } } }"""; checkNavigationTo(midia, "midia", getCaretOffset(), JsonSchemaObject.DEFINITIONS, true); }