<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Jun 24, 2015 at 6:34 PM, Tobias Grosser <span dir="ltr"><<a href="mailto:tobias@grosser.es" target="_blank">tobias@grosser.es</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Sorry, I am a little in a rush, but did you see the getNextAvailablePluginDiagnosticKind() method. This should allow you to define your own DiagnosticKinds. I am not sure if this is sufficient for you, but in general the diagnostic infrastructure is supposed to be useable from plugins. It may happen that some features don't work currently, but I don't see a reason why we would not want to add/expose missing functionality in case the need arises.</blockquote><div><br></div><div>Thanks! I hadn't noticed the existence of getNextAvailablePluginDiagnosticKind().  That definitely solves one of my problems.  Thanks very much for that.</div><div><br></div><div>- Christian</div></div></div></div>