Use the editor gutter for interactive feedback


#1

It would be cool to see the gutter at the bottom of the editor window used for different kinds of feedback, like when a package is installing, or any other operation is happening in the background…