Reuben Thomas

Results 389 comments of Reuben Thomas

That is what I meant by “restarting my session”. It would be nice if this were documented.

@tomhughes, no, it doesn't show either of those. As far as I know, termux doesn't have debug packages. (I see only a `valgrind-dev` package, which contains, as one would expect,...

Thanks very much, that works.

Exactly. Sorry, I'm on my phone, I didn't see the first one, and I've not tried it.

Would it be useful if I tested the other one too? I am guessing no, because simply building without cleaning is lighter weight than building with debug?

This sounds like an oversight to me. Patch to rectify it most welcome!

This is dtrt-indent working as intended (and the diagnosis tells you what's going on). It can't distinguish between the case where there are a few odd 2-indents somewhere in the...

This is a challenge indeed! I think the fundamental problem here is that `dtrt-indent-mode` has no idea of different indentations within the same file. As you say, it would need...

You can turn off `dtrt-indent-mode` in the same major mode hooks.