search

racket / drracket

DrRacket, IDE for Racket
http://www.racket-lang.org/
Other
445 stars 93 forks source link

hide error panel automatically #531

Closed aymanosman closed 2 years ago

aymanosman commented 2 years ago

Fixes https://github.com/racket/drracket/issues/379

rfindler commented 2 years ago

This looks good to me from reading the code. I've also been using it for a few days in my DrRacket and haven't seen anything untoward happen. Github won't seem to let me merge it from the UI because it seems to be declared as draft? I'm not savvy enough to know if that's something you, @aymanosman , have done explicitly or indicates some action I need to take. I'm happy to push the commit, tho. Let me know how you'd like to proceed!

aymanosman commented 2 years ago

@rfindler I marked it as draft. I've fixed that now.

rfindler commented 2 years ago

Thanks!