From 2681b3343734f5a98156133184ae848b64cd1d15 Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Sun, 3 Nov 2019 08:40:54 +0100
Subject: [PATCH] IDEA warning settings hint
---
Doc/Sd1/objectsClasses.xml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Doc/Sd1/objectsClasses.xml b/Doc/Sd1/objectsClasses.xml
index 379e4ad74..485473d15 100644
--- a/Doc/Sd1/objectsClasses.xml
+++ b/Doc/Sd1/objectsClasses.xml
@@ -1072,7 +1072,10 @@ System.out.println("Failed!");</programlisting>
your code.</para>
<para>Set your compiler / <xref linkend="glo_IDE"/>'s warnings
- to a yet tolerable higher level.</para>
+ to a yet tolerable higher level. In case of IntelliJ IDEA you
+ may want to activate various settings in your project's
+ <quote>Java</quote> section below Editor --> Inspections.
+ </para>
</important>
</answer>
</qandaentry>
--
GitLab