diff --git a/gui/main.ui b/gui/main.ui index 780e7e6c8..76d91da59 100644 --- a/gui/main.ui +++ b/gui/main.ui @@ -286,6 +286,12 @@ :/images/showstylewarnings.png:/images/showstylewarnings.png + Style warnings + + + Show style warnings + + Show style warnings @@ -298,6 +304,12 @@ :/images/showerrors.png:/images/showerrors.png + Common errors + + + Show common errors + + Show common errors