Hi All,
I guess this question is mostly for Syd, but since the customizations ODD is an exemplar, we're all kind of responsible for it. If I have bug reports, should I make GitHub issues for them?
Issues I've run into:
1) @role="nonfatal" I think is not understood as a warning, and gets you the usual red underline/error presentation. I feel like warn and/or info might be better. Oxygen's supported role levels seem to be:
"warn" or "warning"
"error"
"fatal"
"info" or "information"
2) default values for required attributes are flagged. I can sort of see the logic there, but they're not *really* the same thing.
3) non-"tei:" schemes in @source are discouraged, but what if your source isn't a TEI release? I've got a couple of these, and I'd like to be able to put a URI in there without being yelled at.
Hugh