public inbox for
 help / color / mirror / Atom feed
* Pretty printers
@ 2015-02-10 15:17 Patrick Monnerat
  0 siblings, 0 replies; only message in thread
From: Patrick Monnerat @ 2015-02-10 15:17 UTC (permalink / raw)
  To: insight

  Until now, pretty printers have been working from the console window
only. I just pushed a commit at that
implements them in local variables and watch windows too.

One remaining problem: the displayed items do not change format when the
pretty printers are enabled/disabled from the console window: you have
to close and reopen window(s) to make the change effective, or step an
Changing the displayed item formats at pretty-printer enable/disable
time would require to trap the command and I did not yet find how to do
it... Patches are welcome :-)


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2015-02-10 15:17 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-02-10 15:17 Pretty printers Patrick Monnerat

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).