diff options
author | Dani Megert | 2007-03-15 10:04:12 +0000 |
---|---|---|
committer | Dani Megert | 2007-03-15 10:04:12 +0000 |
commit | f52b23cbfc44141d9e5d43fe7615a937d9a36c67 (patch) | |
tree | e98cbe97bf3b9f15f01d9c8876fb8b05712707c8 /org.eclipse.ui.workbench.texteditor/plugin.properties | |
parent | 4139bfa9fb834915df07ac4484db39f47c05a6f0 (diff) | |
download | eclipse.platform.text-f52b23cbfc44141d9e5d43fe7615a937d9a36c67.tar.gz eclipse.platform.text-f52b23cbfc44141d9e5d43fe7615a937d9a36c67.tar.xz eclipse.platform.text-f52b23cbfc44141d9e5d43fe7615a937d9a36c67.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 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.properties b/org.eclipse.ui.workbench.texteditor/plugin.properties index 38454e8bc8d..11f07e270c1 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.properties +++ b/org.eclipse.ui.workbench.texteditor/plugin.properties @@ -29,6 +29,9 @@ 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 + smartEnter.label= Insert Line Below Current Line smartEnter.description= Adds a new line below the current line smartEnterInverse.label= Insert Line Above Current Line |