<div dir="auto"><div>This option is already available. Just disable autoloading of git repos in settings. Then open the folder with kate e.g kate /path/to/project</div><div dir="auto"><br></div><div dir="auto">Alternatively use a .kateproject file<br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Tue, Jun 11, 2024, 4:12 PM  <<a href="mailto:christoph@cullmann.io">christoph@cullmann.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2024-06-11 14:44, Giovanni Santini wrote:<br>
> Hi Christoph,<br>
> <br>
> On 2024-06-11 13:13, <a href="mailto:christoph@cullmann.io" target="_blank" rel="noreferrer">christoph@cullmann.io</a> wrote:<br>
>> Hi,<br>
>> <br>
>> the collections happens inside <br>
>> kate/addons/project/kateprojectworker.cpp<br>
>> <br>
> Thanks for pointing out the location, I am thus able to replicate the <br>
> files listing from the terminal.<br>
>> I am not sure how to add that best.<br>
>> To make that greyed out will require to invent an additional role and<br>
>> one will need to think what that implies e.g. for the search plugin <br>
>> that<br>
>> queries all project files. Shall they be omitted there? I would assume <br>
>> so.<br>
>> <br>
>> Greetings<br>
>> Christoph<br>
> <br>
> As of today the list of files is a list of strings shown from the <br>
> plugin.<br>
> <br>
> I am thinking that a toggle option for showing Git ignored files could <br>
> be an easy way forward,<br>
> <br>
> since otherwise we would have to change from a list of string to some <br>
> sort of string with additional metadata,<br>
> <br>
> which would be useful for Git but I am not sure for the other VCS <br>
> systems.<br>
<br>
I think such an option would be the least intrusive way, yes.<br>
<br>
Greetings<br>
Christoph<br>
<br>
</blockquote></div></div></div>