<div dir="auto">Hi Christoph,<div dir="auto"><br></div><div dir="auto">this is a really good idea.</div><div dir="auto"><br></div><div dir="auto">+1</div><div dir="auto"><br></div><div dir="auto">Dominik</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Christoph Cullmann <<a href="mailto:christoph@cullmann.io">christoph@cullmann.io</a>> schrieb am Mo., 30. Dez. 2019, 20:43:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2019-12-29 21:43, Christoph Cullmann wrote:<br>
>> My idea what to adapt the Open Header to do the job done in<br>
>> PluginKateOpenHeader::slotOpenHeader() for sources/headers also for<br>
>> OCaml implementations/interfaces, and mention .ml/.mli in UI strings &<br>
>> documentation. The work done is not really difficult, I have most of<br>
>> locally already.<br>
>> <br>
>> Before I go ahead and push it, is there anything wrong in the approach<br>
>> I took?<br>
> <br>
> Hi,<br>
> <br>
> No, I think that is the way to go.<br>
> <br>
> Using ocaml sometimes, too, this sounds like a nice enhancement.<br>
Hi,<br>
<br>
I thought about a different way to tackle this with a more "generic" <br>
approach:<br>
<br>
We could:<br>
<br>
1) Get the list of all files in the same dir that match the current <br>
basename with any extension<br>
<br>
2) Get the syntax highlighting definition for each of these files (and <br>
our original one) via the matching KSyntaxHighlighting function<br>
<br>
3) Then open the file that has the same definition than the original <br>
file<br>
<br>
This should work for any language that has pairs of XX.foo XX.bar files.<br>
<br>
Btw., I see you have taken care of the changes in OCaml Merlin ;=)<br>
<br>
Nice!<br>
<br>
I need to work on OCaml stuff at company, too.<br>
<br>
Greetings<br>
Christoph<br>
<br>
-- <br>
Ignorance is bliss...<br>
<a href="https://cullmann.io" rel="noreferrer noreferrer" target="_blank">https://cullmann.io</a> | <a href="https://kate-editor.org" rel="noreferrer noreferrer" target="_blank">https://kate-editor.org</a><br>
</blockquote></div>