Re: Backtrace printing in batch mode ignores all customizations

[Stefan Monnier]

> Anyway, with the variable I propose, we can reset it again (e.g., in
> server.el) once there's no interactive frames.
>
> But I don't want to argue about this any further, it doesn't seem to
> be worth our time.

I don't see the point of the variable, really.  The question at hand is
"will the *Backtrace* buffer be usable" and this depends on the current
terminal where it will be "displayed", so the best way to determine the
course of action is to look at the terminal, I think, rather than to
duplicate this info in a variable which then needs to be updated
everytime the situation changes.

We should provide a less ad-hoc way to check whether a given terminal is
dummy, but other than that, I think the current solution is better than
going through a variable.


        Stefan