Jan Lahoda

Results 98 comments of Jan Lahoda

Overall, this makes sense to me. But I am thinking, what if I open a file from outside of the workspace. So, what if, just before the new code here,...

> Thank you @lahodaj for reviewing the PR. > > > So, what if, just before the new code here, we would check if there's exactly one workspace, and if...

(I might have diverged a bit in my previous comment, so sorry for that.) I guess I don't see the problem with "leaking" some settings to a file that the...

I am sorry, but producing warnings is IMO a wrong solution. While the Java language does not impose limits, the classfile format does, and if we cannot generate a classfile...

> I will update this PR and the CSR to fail if we detect an overflow, rather than warn users. Thanks Jan > > Though I am not sure why...

Thanks for doing this, BTW!

I have found one case where the index didn't work: the first query to the index for a given file must happen before the indexing is done. The easiest way...

FWIW, I think the real issue here is that the code completion does not include `Foo`, rather than the action done on pressing the dot. I think I have a...