Details
-
Bug
-
Resolution: Fixed
-
None
-
High
-
FIXED: false positives style problem in Gray and Neptune themes
Description
please see screenshots in linked TS-issues.
Please also check the Neptun theme.
Also we should change the text of the tooltip, you see in the screen (for all themes, not only for the grey theme):
DE: Alle identischen Fehler ebenfalls als falsche Fehler markieren.
EN: Mark all identical errors as false errors as well.