Bug 573421 - Avoid local history for derived files N&N
Change-Id: Ie3b01db6f78cd00197d5ace3b4e5caac5eac25c5
Signed-off-by: Joerg Kubitz <jkubitz-eclipse@gmx.de>
diff --git a/4.20/images/history-for-derived-files-preferences.png b/4.20/images/history-for-derived-files-preferences.png
new file mode 100644
index 0000000..861792c
--- /dev/null
+++ b/4.20/images/history-for-derived-files-preferences.png
Binary files differ
diff --git a/4.20/platform.html b/4.20/platform.html
index a7e168c..3768bc3 100644
--- a/4.20/platform.html
+++ b/4.20/platform.html
@@ -82,6 +82,21 @@
<tr>
<td id="Preferences" class="section" colspan="2">
<h2>Preferences </h2>
+
+ </td>
+ </tr>
+ <tr id="history-for-derived-files"> <!-- https://bugs.eclipse.org/bugs/show_bug.cgi?id=573421 -->
+ <td class="title">History for derived files</td>
+ <td class="content">
+ The Local <b>History for derived files</b> is now <b>disabled</b> by default.
+ The behaviour can now be configured to the previous (enabled) behaviour in the preferences of the "Local History".
+ Just check the checkbox "History for derived files".
+ "Derived files" are for example automatically created as the output of java annotation processing or xtext.
+ As beeing automatically created one could also recreate old versions of the output by compiling older versions of the input.
+ Therefore it was just wasted time and space to store a history of the derived files for most users.
+ <p>
+ <img src="images/history-for-derived-files-preferences.png" alt=""/>
+ </p>
</td>
</tr>
<!-- ****************** End of Preferences ************************************* -->
