diff options
Diffstat (limited to 'gprof/org.eclipse.linuxtools.gprof.launch/plugin.xml')
-rw-r--r-- | gprof/org.eclipse.linuxtools.gprof.launch/plugin.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gprof/org.eclipse.linuxtools.gprof.launch/plugin.xml b/gprof/org.eclipse.linuxtools.gprof.launch/plugin.xml index e2b76330cf..04ba5f9957 100644 --- a/gprof/org.eclipse.linuxtools.gprof.launch/plugin.xml +++ b/gprof/org.eclipse.linuxtools.gprof.launch/plugin.xml @@ -3,9 +3,11 @@ 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="1" + priority="4" shortcut="org.eclipse.linuxtools.internal.gprof.launch.GprofLaunchShortcut" tabgroup="org.eclipse.linuxtools.internal.gprof.launch.GprofLaunchConfigurationTabGroup" type="timing"> |