Terminal Edwin seems to fully redraw the screen a lot more often than I remember. I haven't tried to diagnose it yet. Did anything change or regress in the past few months (or, heh, maybe years at this point) in the terminal screen?
_______________________________________________ MIT-Scheme-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/mit-scheme-devel
