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 | 66 |
1 files changed, 0 insertions, 66 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 deleted file mode 100644 index 4fe6a34147..0000000000 --- a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/html/task_configuring_editor.html +++ /dev/null @@ -1,66 +0,0 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> -<head> -<meta http-equiv="Content-Type" content="text/html; charset=us-ascii" /> - -<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> - -<!-- contents --> -</head> -<body> - - <div class="sect1"> - <!-- infolevel="all" infotype="General" --> - <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> - </div> - </td> - </div> -</body> -</html> - |