diff options
| author | Camilo Bernal | 2012-10-25 17:56:42 +0000 |
|---|---|---|
| committer | Jeff Johnston | 2012-10-26 17:43:12 +0000 |
| commit | ece39a869c46447031b043ba2a8998a1f73ef2ed (patch) | |
| tree | b65bd0d76aaf1c1d4011ce0c178211028012b041 /gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml | |
| parent | d669aac7e232704c6fc4a98d30e533d2595d529b (diff) | |
| download | org.eclipse.linuxtools-ece39a869c46447031b043ba2a8998a1f73ef2ed.tar.gz org.eclipse.linuxtools-ece39a869c46447031b043ba2a8998a1f73ef2ed.tar.xz org.eclipse.linuxtools-ece39a869c46447031b043ba2a8998a1f73ef2ed.zip | |
Add tool tip and descriptive information to field editors in preferences window.
Add tool tips to profiling tools' field editors in the preferences window,
providing brief tool specific information. In order to avoid having too much
information in the tool tips, general tool descriptions are provided to the
right of the tool name. This information is provided through the optional launch
provider extension point attributes "information" and "description".
Change-Id: If15b2ef11f35922c0491f1581c28f08e878d1d44
Reviewed-on: https://git.eclipse.org/r/8144
Tested-by: Hudson CI
Reviewed-by: Jeff Johnston <jjohnstn@redhat.com>
IP-Clean: Jeff Johnston <jjohnstn@redhat.com>
Tested-by: Jeff Johnston <jjohnstn@redhat.com>
Diffstat (limited to 'gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml')
| -rw-r--r-- | gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml b/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml index aef88ad40f..32b82373cf 100644 --- a/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml +++ b/gcov/org.eclipse.linuxtools.gcov.launch/plugin.xml @@ -3,7 +3,9 @@ point="org.eclipse.linuxtools.profiling.launch.launchProvider"> <provider delegate="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchConfigurationDelegate" + description="%gcovLaunchConfiguration.description" id="org.eclipse.linuxtools.profiling.provider.coverage.gcov" + information="%gcovLaunchConfiguration.information" name="%gcovLaunchConfiguration.name.0" priority="1" shortcut="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchShortcut" |