diff options
Diffstat (limited to 'plugins/core/org.eclipse.papyrus.preferences/src/org/eclipse/papyrus/preferences/ui/editor/EditorFontGroup.java')
| -rw-r--r-- | plugins/core/org.eclipse.papyrus.preferences/src/org/eclipse/papyrus/preferences/ui/editor/EditorFontGroup.java | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/plugins/core/org.eclipse.papyrus.preferences/src/org/eclipse/papyrus/preferences/ui/editor/EditorFontGroup.java b/plugins/core/org.eclipse.papyrus.preferences/src/org/eclipse/papyrus/preferences/ui/editor/EditorFontGroup.java index 6dc23f0e588..5ef7ff20f73 100644 --- a/plugins/core/org.eclipse.papyrus.preferences/src/org/eclipse/papyrus/preferences/ui/editor/EditorFontGroup.java +++ b/plugins/core/org.eclipse.papyrus.preferences/src/org/eclipse/papyrus/preferences/ui/editor/EditorFontGroup.java @@ -26,15 +26,20 @@ public class EditorFontGroup extends FontGroup { /**
* Instantiates a new editor font group.
*
- * @param parent the parent composite
- * @param key the key
- * @param dialogPage the dialog page
+ * @param parent
+ * the parent composite
+ * @param key
+ * the key
+ * @param dialogPage
+ * the dialog page
*/
public EditorFontGroup(Composite parent, String key, DialogPage dialogPage) {
super(parent, key, dialogPage);
}
-
- /* (non-Javadoc)
+
+ /*
+ * (non-Javadoc)
+ *
* @see org.eclipse.papyrus.preferences.ui.AbstractGroup#getPreferenceConstant(int)
*/
protected String getPreferenceConstant(int preferenceType) {
|