Commit graph

1 commit

Author SHA1 Message Date
Hugo Locurcio
564f8ccc13
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.
2020-05-09 15:29:13 +02:00