diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-05-09 15:29:13 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-05-09 15:29:13 +0200 |
| commit | 564f8ccc1311f7f2a76e583d36d9f76347106f16 (patch) | |
| tree | 00072d5aa8d31239ae8efe51548883a1d4ab8fe5 /editor/editor_node.h | |
| parent | 1c6b1838b9342f5f4948422ccbc17905ad120a9b (diff) | |
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.
Diffstat (limited to 'editor/editor_node.h')
0 files changed, 0 insertions, 0 deletions