Change way that WITH-NOTIFICATION prints "refresh" line.
authorChris Hanson <org/chris-hanson/cph>
Wed, 25 Oct 2006 05:40:21 +0000 (05:40 +0000)
committerChris Hanson <org/chris-hanson/cph>
Wed, 25 Oct 2006 05:40:21 +0000 (05:40 +0000)
commit322f2779c560d53b60523ea52b401d4e3ae28453
treef7fbc8bb1d566fb0b518fdea5832dd39fbad21a0
parent460459bed7aa6d02721fd46fa32791db04595ce7
Change way that WITH-NOTIFICATION prints "refresh" line.
v7/src/runtime/usrint.scm