diff options
| author | acuccuru | 2013-04-24 09:32:56 +0000 |
|---|---|---|
| committer | acuccuru | 2013-04-24 09:32:56 +0000 |
| commit | 592acf324fdf9329af72563609c08e861a2a5308 (patch) | |
| tree | c593a8df2bcd2dd020f0459e43c3d805e1ad821d | |
| parent | 1b1903d8e711eacf089197799f2e7c76a32c85b2 (diff) | |
| download | org.eclipse.papyrus-592acf324fdf9329af72563609c08e861a2a5308.tar.gz org.eclipse.papyrus-592acf324fdf9329af72563609c08e861a2a5308.tar.xz org.eclipse.papyrus-592acf324fdf9329af72563609c08e861a2a5308.zip | |
406407: [Moka] The moka preference page shall be under the papyrus preference page
https://bugs.eclipse.org/bugs/show_bug.cgi?id=406407
| -rw-r--r-- | sandbox/Moka/org.eclipse.papyrus.moka.ui/plugin.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sandbox/Moka/org.eclipse.papyrus.moka.ui/plugin.xml b/sandbox/Moka/org.eclipse.papyrus.moka.ui/plugin.xml index 9960bfa42eb..54cdd465d65 100644 --- a/sandbox/Moka/org.eclipse.papyrus.moka.ui/plugin.xml +++ b/sandbox/Moka/org.eclipse.papyrus.moka.ui/plugin.xml @@ -143,9 +143,10 @@ <extension
point="org.eclipse.ui.preferencePages">
<page
+ category="org.eclipse.papyrus.infra.core.sasheditor.preferences.generalcategory"
class="org.eclipse.papyrus.moka.ui.preferences.MokaPreferencePage"
id="org.eclipse.papyrus.moka.ui.preferences"
- name="Moka preference page">
+ name="Moka">
</page>
</extension>
<extension
|