button = Inputs.button(
[
[
"Add namespace prefixes from kg to editor",
async (value) => {
viewof y.editor.addPrefixes(
Object.fromEntries(
await py`#depends on ${kg} ${micropipDependenciesPy}
dict(${kg}.rdf_graph().namespaces())
`
)
);
}
],
[
"Autoformat",
(value) => {
viewof y.editor.autoformat();
}
],
[
"Reset query",
(value) => {
viewof y.editor.setValue(default_query);
}
]
],
{ label: "Change Editor Contents" }
)