diff options
Diffstat (limited to 'jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/html/task_configuring_editor.html')
-rw-r--r-- | jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/html/task_configuring_editor.html | 90 |
1 files changed, 45 insertions, 45 deletions
diff --git a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/html/task_configuring_editor.html b/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/html/task_configuring_editor.html index 4fe6a34147..c4ac5f8811 100644 --- a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/html/task_configuring_editor.html +++ b/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/html/task_configuring_editor.html @@ -6,58 +6,58 @@ <meta http-equiv="Content-Style-Type" content="text/css" /> <meta http-equiv="Content-Script-Type" content="text/javascript" /> -<title>Configuring the JPA diagram editor</title> +<style> +</style> +<title>Configuring the JPA Diagram Editor</title> <!-- contents --> </head> <body> - <div class="sect1"> <!-- infolevel="all" infotype="General" --> - <h1>Configuring the JPA diagram editor</h1> + <h1>Configuring the JPA Diagram Editor</h1> <td><div> - <ul> - <li><p>Configure the global default settings of the JPA - diagram editor</p> - <div> - <ol> - <li>Choose <span><i>Window</i> -> <i>Preferences</i> </span> in - the main menu.</li> - <li><p> - Select <span><i>General</i> -> <i>Editors</i> -> <i>JPA Diagram Editor</i> </span> in the - properties tree. - </p></li> - <li><p> - Specify the JPA diagram editor settings. To restore the global - predefined values, choose <i>Restore Defaults</i>. - </p></li> - <li><p> - Choose <i>Apply</i>, then choose <i>OK</i>. - </p></li> - </ol> - </div> - </li> - <li><p>Configure the JPA diagram editor per project</p> - <div> - <ol> - <li><p> - In the context menu of the project in the <i>Project - Explorer</i>, choose <i>Properties</i>. - </p></li> - <li><p> - Select <span><i>JPA</i> -> <i>JPA Diagram Editor</i> </span>. - </p></li> - <li><p> - Specify the JPA diagram editor settings. To restore the global - default settings, choose <i>Restore Defaults</i>. - </p></li> - <li><p> - Choose <i>Apply</i>, then choose <i>OK</i>. - </p></li> - </ol> - </div> - </li> - </ul> + <h2>Configure the global default settings of the JPA diagram + editor</h2> + <div> + <ol> + <li><p> + From the main menu, choose <span><i>Window</i> → <i>Preferences</i> + </span>. + </p></li> + <li><p> + In the properties tree, select <span><i>General</i> → + <i>Editors</i> → <i>JPA Diagram Editor</i> </span>. + </p></li> + <li><p> + Specify the JPA diagram editor settings. To restore the global + predefined values, choose <i>Restore Defaults</i>. + </p></li> + <li><p> + Choose <i>Apply</i> and then <i>OK</i>. + </p></li> + </ol> + </div> + + <h2>Configure the JPA diagram editor per project</h2> + <div> + <ol> + <li><p> + From the project context menu in the <i>Project Explorer</i>, + choose <i>Properties</i>. + </p></li> + <li><p> + Select <span><i>JPA</i> → <i>JPA Diagram Editor</i> </span>. + </p></li> + <li><p> + Specify the JPA diagram editor settings. To restore the global + default settings, choose <i>Restore Defaults</i>. + </p></li> + <li><p> + Choose <i>Apply</i> and then <i>OK</i>. + </p></li> + </ol> + </div> </div> </td> </div> |