diff options
Diffstat (limited to 'terminal/org.eclipse.tm.terminal.view/plugin.properties')
-rw-r--r-- | terminal/org.eclipse.tm.terminal.view/plugin.properties | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/terminal/org.eclipse.tm.terminal.view/plugin.properties b/terminal/org.eclipse.tm.terminal.view/plugin.properties index aed55c3b2..cab8c36f3 100644 --- a/terminal/org.eclipse.tm.terminal.view/plugin.properties +++ b/terminal/org.eclipse.tm.terminal.view/plugin.properties @@ -21,9 +21,6 @@ terminal.views.view.name = Terminal terminal.views.view.font.description = The font for the terminal console. terminal.views.view.font.label = Terminal Console Font -terminal.view.context.name=Terminal view context -terminal.view.context.description=control-q override - terminal.view.insertion.description=Terminal view insertion terminal.view.insertion.name=Terminal view insert terminal.view.insertion.category.name=Terminal view commands |