Re: [PATCH] Speed up project-kill-buffers

[Dmitry Gutov]

On 03.05.2021 20:25, Philip Kaludercic wrote:
> That is true, but this leads to the more general question of whether a
> sub-project is part of the super-project or not? Is there any reason to
> intrinsically prefer one over the other?

If sub-project is part of the super-project, what makes it a separate 
project, then? If we do consider it separate, I think it makes sense to 
only kill buffers belonging to it, but not the parent. And vice versa.

Ultimately, it's a non-trivial question, and we'll probably delegate it 
to project backends as well. That will still require getting the current 
project.

We also want to support arbitrary project-finding strategies which 
dosn't depend on the parent directory (see commit 4ca13d98c9eb and the 
referenced discussion).