Open jimallman opened 7 years ago
It would be very nice if there were a way to see node ids, which one could do before, but not since a recent PR. By 'node id' I mean the value of the @id property of the node element in the NeXML. I don't see that we're short on real estate, so just adding this as an extra line should work.
shouldn't there be hyperlinks for nodes (esp. tips) that are mapped to OTT? I was thinking to the taxonomy browser.
There are a few improvements we probably want here: