Note about system default encoding for Console
See https://github.com/eclipse-platform/eclipse.platform.debug/issues/42
diff --git a/4.25/images/system_encoding.png b/4.25/images/system_encoding.png
new file mode 100644
index 0000000..f12039f
--- /dev/null
+++ b/4.25/images/system_encoding.png
Binary files differ
diff --git a/4.25/platform.html b/4.25/platform.html
index df884f4..67913a6 100644
--- a/4.25/platform.html
+++ b/4.25/platform.html
@@ -27,6 +27,7 @@
<li><a href="#TextEditors">Text Editors</a></li>
<li><a href="#Preferences">Preferences</a></li>
<li><a href="#StylingThemes">Themes and Styling</a></li>
+ <li><a href="#Debug">Debug</a></li>
<li><a href="#GeneralUpdates">General Updates</a></li>
</ul>
@@ -79,6 +80,33 @@
</tr>
<!-- ******************* End of Themes and Styling ************************************* -->
+<!-- *********************** Debug ******************************** -->
+ <tr>
+ <td id="Debug" class="section" colspan="2">
+ <h2>Debug</h2>
+ </td>
+ </tr>
+
+ <tr id="debug-system-encoding"> <!-- https://github.com/eclipse-platform/eclipse.platform.debug/issues/42 -->
+ <td class="title"><a href="#debug-system-encoding">System encoding for Console</a></td>
+ <td class="content">
+ <p>
+ New launch configuration attribute is added to allow processes start with system encoding.
+ As a result, Java processes can start without specifying explicit "-Dfile.encoding=" option, so JVM will use
+ system defaults defined by user environment.
+ </p>
+ <img src="images/system_encoding.png" alt=""/>
+ <p>
+ API notes: if <code>DebugPlugin.ATTR_FORCE_SYSTEM_CONSOLE_ENCODING<code/> attribute is set,
+ <code>ILaunchManager.getEncoding(ILaunchConfiguration)<code/>
+ will return the value of <code>Platform.getSystemCharset()</code> and
+ <code>ILaunchConfiguration.getAttribute(DebugPlugin.ATTR_CONSOLE_ENCODING, null)</code>
+ will return <code>null</code>, indicating that default system value should be used.
+ </p>
+ </td>
+ </tr>
+ <!--************************ End of Debug ******************************** -->
+
<!-- ******************* General Updates ************************************* -->
<tr>
<td id="GeneralUpdates" class="section" colspan="2">
