Skip to content

Commit

Permalink
Clean up "Editors" Preference Page
Browse files Browse the repository at this point in the history
  • Loading branch information
BeckerWdf committed Feb 8, 2024
1 parent 5e83975 commit 81e4064
Showing 1 changed file with 25 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -28,15 +28,34 @@ <h1 class="Head">Editors</h1>
<td><b>Size of recently opened files list</b></td>
<td>Each file that is opened in an editor is stored in a list of recently used files in the <b>File</b> menu.
This option controls the number of files that is displayed in that list.</td>
<td>4</td>
<td>20</td>
</tr>
<tr valign="top">
<td><b>Allow in-place system editors</b></td>
<td>Specifies whether or not the workbench may open system editors in-place.</td>
<td>On</td>
</tr>
<tr valign="top">
<td><b>Restore editor state at startup</b></td>
<td>Specifies whether or not the workbench should restore the state of open editors on startup.</td>
<td>On</td>
</tr>
<tr valign="top">
<td><b>Promp to save on close even if still open elsewhere</b></td>
<td>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</td>
<td>On</td>
</tr>
<tr valign="top">
<td><b>Close editors automatically</b></td>
<td>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.</td>
<td>Off</td>
<td>Specifies whether or not the workbench should automatically close editors when a given number of editors is reached.</td>
<td>On</td>
</tr>
<tr valign="top">
<td><b>Number of open editors before closing</b></td>
<td>If <em>Close editors automatically</em> is turned <em>On</em> this specifies the number of editor that are
kept open for automatically closing editors.</td>
<td>99</td>
</tr>
</tbody>
</table>
Expand Down

0 comments on commit 81e4064

Please sign in to comment.