<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Hi Kate folk,</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I've recently managed to get Kate working with the LSP server that we have for a suite of languages, based around the VDM formal method. Normally we use the VSCode client for our tools, but I'm interested in expanding the clients that we can support.<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">VDM effectively has three languages or dialects, so I've tried to configure this as three separate Filetypes. It does work, but the configuration is a bit awkward and I'm wondering whether there's a better way? :-)<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">There's a wiki page that describes what I did here: <a href="https://github.com/nickbattle/vdmj/wiki/Using-the-Kate-Editor">https://github.com/nickbattle/vdmj/wiki/Using-the-Kate-Editor</a>. I'm testing with version 22.12.1.<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">A few questions:</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><ul><li>Am I using the highlightingModeRegex correctly? The separate language "dialects" (filename extensions) translate into different options for the LSP server, -vdmsl, -vdmpp and -vdmrt. The only way I could get this working was to choose three <i>different</i> random highlight modes that were <i>not used</i> <i>elsewhere</i> in the configuration.<br></li><li>But this means the actual highlighting is nothing like what is required! Is there any way to improve that?</li><li>When I try to open a folder with a space in the folder name, your LSP client sends a "rootUri" with a space in it. That causes Java's URI handling to reject it (it should be %20?)</li><li>You send the entire file contents on didChange events? That gets quite expensive with large files; is it possible to configure incremental changes somehow?</li></ul></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I'm not subscribed to this list, so I would appreciate a CC in any replies. Many thanks!<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br clear="all"></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Cheers,<br>-nick</div></div></div>