diff --git a/terminal/org.eclipse.tm.terminal.view/plugin.properties b/terminal/org.eclipse.tm.terminal.view/plugin.properties index 884d85ac213..9825ab03e35 100644 --- a/terminal/org.eclipse.tm.terminal.view/plugin.properties +++ b/terminal/org.eclipse.tm.terminal.view/plugin.properties @@ -20,7 +20,3 @@ terminal.views.category.name = Terminal 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.insertion.description=Terminal view insertion -terminal.view.insertion.name=Terminal view insert -terminal.view.insertion.category.name=Terminal view commands diff --git a/terminal/org.eclipse.tm.terminal.view/plugin.xml b/terminal/org.eclipse.tm.terminal.view/plugin.xml index 3a26546d85a..dbb050174da 100644 --- a/terminal/org.eclipse.tm.terminal.view/plugin.xml +++ b/terminal/org.eclipse.tm.terminal.view/plugin.xml @@ -62,17 +62,6 @@ - - - - diff --git a/terminal/org.eclipse.tm.terminal/plugin.properties b/terminal/org.eclipse.tm.terminal/plugin.properties index f5c474e9c62..eb9ea59cb4b 100644 --- a/terminal/org.eclipse.tm.terminal/plugin.properties +++ b/terminal/org.eclipse.tm.terminal/plugin.properties @@ -20,3 +20,6 @@ providerName = Eclipse.org terminal.context.name=Terminal widget context terminal.context.description=Override ALT+x menu access keys +terminal.insertion.description=Terminal view insertion +terminal.insertion.name=Terminal view insert +terminal.insertion.category.name=Terminal view commands diff --git a/terminal/org.eclipse.tm.terminal/plugin.xml b/terminal/org.eclipse.tm.terminal/plugin.xml index ce1bd3b4f33..1a1a59cedad 100644 --- a/terminal/org.eclipse.tm.terminal/plugin.xml +++ b/terminal/org.eclipse.tm.terminal/plugin.xml @@ -24,4 +24,86 @@ + + + + + + + + + + + + + + + + + + + +