| <plugin> | |
| <extension | |
| point="org.eclipse.linuxtools.profiling.launch.launchProvider"> | |
| <provider | |
| delegate="org.eclipse.linuxtools.internal.gprof.launch.GprofLaunchConfigurationDelegate" | |
| description="%gprofLaunchConfiguration.description" | |
| id="org.eclipse.linuxtools.profiling.provider.timing.gprof" | |
| information="%gprofLaunchConfiguration.information" | |
| name="%gprofLaunchConfiguration.name.0" | |
| priority="4" | |
| shortcut="org.eclipse.linuxtools.internal.gprof.launch.GprofLaunchShortcut" | |
| tabgroup="org.eclipse.linuxtools.internal.gprof.launch.GprofLaunchConfigurationTabGroup" | |
| type="timing"> | |
| </provider> | |
| </extension> | |
| </plugin> |