Subject: Re: bug#61093: Indented file names confuse compilation buffer

From: Rudolf Adamkovič <[email-masked]>
Date: Fri, 27 Jan 2023 22:00:23 +0100

Sascha Ziemann <[email-masked]> writes:

> I think it might be ok to ignore leading whitespace, because file
> names do not start very often with whitespace.

Would that perhaps fix Lua errors too, which are also indented?

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60830

Rudy
-- 
"Logic is a science of the necessary laws of thought, without which no
employment of the understanding and the reason takes place."
-- Immanuel Kant, 1785

Rudolf Adamkovič <[email-masked]> [he/him]
Studenohorská 25
84103 Bratislava
Slovakia