diff --git a/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-12.htm b/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-12.htm
index 280a3e2a643..51364efc491 100644
--- a/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-12.htm
+++ b/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-12.htm
@@ -28,15 +28,34 @@
Editors
Size of recently opened files list |
Each file that is opened in an editor is stored in a list of recently used files in the File menu.
This option controls the number of files that is displayed in that list. |
- 4 |
+ 20 |
+
+
+ Allow in-place system editors |
+ Specifies whether or not the workbench may open system editors in-place. |
+ On |
+
+
+ Restore editor state at startup |
+ Specifies whether or not the workbench should restore the state of open editors on startup. |
+ On |
+
+
+ Promp to save on close even if still open elsewhere |
+ Specifies whether or not the workbench prompts for saving when a dirty editor or view is closed,
+ but the same is still open in other parts |
+ On |
Close editors automatically |
- Specifies whether or not to re-use editors in the Workbench. If on, you may specify the number of editors
- to use before they are recycled (the default is 8). You can also specify if a prompt dialog should be opened or
- if a new editor should be opened when all editors are "dirty" (have unsaved changes). Once it is turned on, the
- Pin Editor action is added to the toolbar and editor tab menu. Pinned editors are not recycled. |
- Off |
+ Specifies whether or not the workbench should automatically close editors when a given number of editors is reached. |
+ On |
+
+
+ Number of open editors before closing |
+ If Close editors automatically is turned On this specifies the number of editor that are
+ kept open for automatically closing editors. |
+ 99 |