Hugo Locurcio d7f1a43d1a Use a different icon for the debugger tab with both warnings and errors ...

This makes it possible to see if both errors and warnings were
pushed without having to open the tab.

(cherry picked from commit 564f8ccc13)

2020-05-11 11:35:07 +02:00

1 line

237 B

XML

Raw Blame History