commit 6669792a7a26dea6d4dd8c2cb22dad0bd68252d6
author Ingo Mohr <tellastory73@gmail.com> Mon Jul 25 17:17:51 2022 +0200
committer Lars Vogel <Lars.Vogel@vogella.com> Tue Aug 02 07:59:22 2022 +0200
tree c5bd6b0bc2ace34a5e9ca28f443417a1ff1c081d
parent 41afbd049e26be6ccc01e8dd351f59a6da5bef0f

Note about customizable severity of missing project encoding

4.25/images/project-encoding.png

diff --git a/4.25/images/project-encoding.png b/4.25/images/project-encoding.png
new file mode 100644
index 0000000..5e5f372
--- /dev/null
+++ b/4.25/images/project-encoding.png
Binary files differ

4.25/platform.html

diff --git a/4.25/platform.html b/4.25/platform.html
index 3686c11..b896301 100644
--- a/4.25/platform.html
+++ b/4.25/platform.html
@@ -71,6 +71,16 @@
     <h2>Preferences </h2>
     </td>
   </tr>
+    <tr id="specify-project-encoding-severity"> <!-- multiple-->
+    <td class="title"><a href="#specify-project-encoding-severity">Specify severity of missing project encoding check</a></td>
+    <td class="content">
+		In the preferences under <b>General &rarr; Workspace</b> you can now specify the severity you want to use to
+		report missing project encoding. Default is "Warning". The other available values are "Ignore", "Info" and "Error".
+		<p/>
+      	<img  src="images/project-encoding.png" alt="" />
+    </td>
+  </tr>
+
   <!-- ****************** End of Preferences ************************************* -->
 
   <!-- ******************* Themes and Styling ************************************* -->