diff options
Diffstat (limited to 'plugins/infra/ui/org.eclipse.papyrus.infra.widgets/plugin.xml')
| -rw-r--r-- | plugins/infra/ui/org.eclipse.papyrus.infra.widgets/plugin.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/plugins/infra/ui/org.eclipse.papyrus.infra.widgets/plugin.xml b/plugins/infra/ui/org.eclipse.papyrus.infra.widgets/plugin.xml new file mode 100644 index 00000000000..257978e8e4c --- /dev/null +++ b/plugins/infra/ui/org.eclipse.papyrus.infra.widgets/plugin.xml @@ -0,0 +1,12 @@ +<?xml version="1.0" encoding="UTF-8"?> +<?eclipse version="3.4"?> +<plugin> + <extension + point="org.eclipse.papyrus.infra.services.labelprovider.labelProvider"> + <labelProvider + priority="10" + provider="org.eclipse.papyrus.infra.widgets.providers.WorkbenchFilteredLabelProvider"> + </labelProvider> + </extension> + +</plugin> |