diff options
author | teicher | 2004-04-01 14:57:03 +0000 |
---|---|---|
committer | teicher | 2004-04-01 14:57:03 +0000 |
commit | 493f497b3bdb2305b56202d457b27cb84b5f47b5 (patch) | |
tree | 6c078a79ec39a93b9e318cc7b741f7b0c08eb46a /org.eclipse.ui.workbench.texteditor/plugin.properties | |
parent | ab8211a9bba070ac642d5ad517fc5f124be8b8b0 (diff) | |
download | eclipse.platform.text-493f497b3bdb2305b56202d457b27cb84b5f47b5.tar.gz eclipse.platform.text-493f497b3bdb2305b56202d457b27cb84b5f47b5.tar.xz eclipse.platform.text-493f497b3bdb2305b56202d457b27cb84b5f47b5.zip |
- added support for custom carets on non-win32 platforms
- added support for wide carets (~accessibility)
- preference to disable custom carets (accessibility)
- preference to disable wide carets
- smart insert caret is now default, raw caret is bracket
fixes
- bug 39600: [misc] Java editor does not read lines in JAWS 4.5
- bug 39205: [misc] Cursor in 3.0-M1has changed to ugly "[" shape
- bug 21715: StyledText - Text cursor is too thin in editor
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.properties')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.properties | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.properties b/org.eclipse.ui.workbench.texteditor/plugin.properties index 3629aaaf8e2..cfa562ad92c 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.properties +++ b/org.eclipse.ui.workbench.texteditor/plugin.properties @@ -147,8 +147,10 @@ command.textEnd.description = Go to the end of the text command.textEnd.name = Text End command.textStart.description = Go to the start of the text command.textStart.name = Text Start -command.toggleOverwrite.description = Toggle input mode +command.toggleOverwrite.description = Toggle overwrite mode command.toggleOverwrite.name = Toggle Overwrite +command.toggleInsertMode.description = Toggle insert mode +command.toggleInsertMode.name = Toggle Insert Mode command.windowEnd.description = Go to the end of the window command.windowEnd.name = Window End command.windowStart.description = Go to the start of the window |