e0c49e4eae
This commit adds new toolbar to the GUI for fast and easy switching of different warning//error categories. The icons are currently just placeholders until more descriptive icons are created. |
||
|---|---|---|
| .. | ||
| dialog-error.png | ||
| dialog-information.png | ||
| dialog-warning.png | ||
| edit-clear.png | ||
| go-down.png | ||
| help-browser.png | ||
| media-floppy.png | ||
| preferences-system.png | ||
| process-stop.png | ||
| showerrors.png | ||
| showstylewarnings.png | ||
| text-x-generic.png | ||
| view-refresh.png | ||
