search

racket / drracket

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

Automatically dismiss message panel when there are no more errors #528

Closed aymanosman closed 2 years ago

aymanosman commented 2 years ago
Screenshot 2021-11-15 at 15 28 38 Screenshot 2021-11-15 at 15 27 17

Currently, the user has to manually click the "close" button to dismiss the area where the old error message was displayed. Should this not automatically happen?

If this sounds like a reasonable thing to do, then I would be happy to implement it if I could get some pointers.

sorawee commented 2 years ago

Duplicate of #379?

aymanosman commented 2 years ago

Yes. Closing this one.

rfindler commented 2 years ago

@aymanosman I would be happy to provide pointers (in the other issue) if you find that one of the (well-liked) ideas there resonates with you.