diff options
| author | Dani Megert | 2007-03-15 10:29:32 +0000 |
|---|---|---|
| committer | Dani Megert | 2007-03-15 10:29:32 +0000 |
| commit | 1508322e22d5f6562d84cfbb281328100dedd144 (patch) | |
| tree | 99589a59ad787024f0405f00dcc2a71e327e21fa /org.eclipse.ui.workbench.texteditor/plugin.properties | |
| parent | f52b23cbfc44141d9e5d43fe7615a937d9a36c67 (diff) | |
| download | eclipse.platform.text-1508322e22d5f6562d84cfbb281328100dedd144.tar.gz eclipse.platform.text-1508322e22d5f6562d84cfbb281328100dedd144.tar.xz eclipse.platform.text-1508322e22d5f6562d84cfbb281328100dedd144.zip | |
Fixed bug 149519: [api][hovering] Push down F2 (Show Tooltip Description) feature for hovers
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.properties b/org.eclipse.ui.workbench.texteditor/plugin.properties index 11f07e270c1..00d5287da2d 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.properties +++ b/org.eclipse.ui.workbench.texteditor/plugin.properties @@ -29,8 +29,8 @@ showWhitespaceCharacters.label= Show Whitespace Characters showWhitespaceCharacters.tooltip= Show Whitespace Characters showWhitespaceCharacters.description= Shows whitespace characters in current text editor -showToolTip.name= Show Tooltip Description -showToolTip.description= Shows the tooltip description for the element at the cursor +showInformation.name= Show Tooltip Description +showInformation.description= Displays information for the current caret location in a sticky hover smartEnter.label= Insert Line Below Current Line smartEnter.description= Adds a new line below the current line |