search

jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

Debug Log doesn't capture debug info unless opened #28

Closed agoode closed 3 months ago

agoode commented 3 months ago

It looks like the debug log only gets populated when open. This loses early debug info.

Also, when the window is closed, its contents are lost.

I would like it to persistently keep logging. It's fine if there is some reasonable limit (32K?).

jcreedcmu commented 3 months ago

That is correct, I guess we could keep a buffer instead of just live-forwarding it into TextEdit.