Ask questionsAuto-hide pop-up notifications
It would be nice to have a configuration setting for auto-hiding them after some interval. I think they're called "workbench notifications" — they pop up in the bottom-right of the editor portion of the window.
Answer questions alexreg
Up-votes would be much appreciated to get this into the backlog, folks! :-)