Maybe we should shift the focus to the editor element when the error info line is double clicked. Hope that would be simple enough.
As an aside, I noticed that the whole application window UI breaks when there are long error messages. We must wrap the message list inside a ScrolledWindow
Maybe we should shift the focus to the editor element when the error info line is double clicked. Hope that would be simple enough.
As an aside, I noticed that the whole application window UI breaks when there are long error messages. We must wrap the message list inside a ScrolledWindow