[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Set debug output width in REPL
|
From: |
Mark H Weaver |
|
Subject: |
Re: Set debug output width in REPL |
|
Date: |
Mon, 21 Feb 2011 11:36:36 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
I wrote:
> It seems to me that *width* should not be a global variable, but rather
> a per-repl setting. It probably belongs in the options field of the
> <repl> record, no? See "repl-default-options" in repl/common.scm.
Better yet, maybe it should be an optional attribute of the output port,
which would allow pretty-print and truncated-print to use it as well.
Output ports attached to terminals could determine the terminal width
from the OS, on systems that support it.
What do you think?
Mark