Now all the error messages show up on the bottom right corner of the browser. But consider this scenario: The left editor is Hydra, the right editor is Mercury. If a bunch of errors pile up from for example Hydra they get in the way of code from Mercury, making that less readable untill the Hydra errors are fixed.
Maybe it is an idea to think about the error messages only showing up on the bottom-right corner of the pane they belong to. So the errors are more focussed in the window they are useful in, and not obstructing any other editors. What do you think?
Now all the error messages show up on the bottom right corner of the browser. But consider this scenario: The left editor is Hydra, the right editor is Mercury. If a bunch of errors pile up from for example Hydra they get in the way of code from Mercury, making that less readable untill the Hydra errors are fixed.
Maybe it is an idea to think about the error messages only showing up on the bottom-right corner of the pane they belong to. So the errors are more focussed in the window they are useful in, and not obstructing any other editors. What do you think?