mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-04 07:35:24 +02:00
[cleanup] Organize Manifest, and specify required Terminal Version more narrow
This commit is contained in:
parent
430a94cf1b
commit
3f66ad3b1e
2 changed files with 2 additions and 8 deletions
|
@ -11,10 +11,9 @@ Require-Bundle: org.eclipse.ui,
|
|||
org.eclipse.rse.subsystems.files.core;bundle-version="[3.0.0,4.0.0)",
|
||||
org.eclipse.rse.core;bundle-version="[3.0.0,4.0.0)",
|
||||
org.eclipse.rse.ui;bundle-version="[3.0.0,4.0.0)",
|
||||
org.eclipse.rse.subsystems.shells.core;bundle-version="[3.0.0,4.0.0)",
|
||||
org.eclipse.rse.subsystems.terminals.core;bundle-version="[0.1.0,0.2.0)",
|
||||
org.eclipse.tm.terminal,
|
||||
org.eclipse.tm.terminal.view
|
||||
org.eclipse.tm.terminal;bundle-version="[2.0.0,2.1.0)",
|
||||
org.eclipse.tm.terminal.view;bundle-version="[2.0.0,2.1.0)"
|
||||
Bundle-ActivationPolicy: lazy
|
||||
Eclipse-LazyStart: true
|
||||
Bundle-Vendor: %providerName
|
||||
|
|
|
@ -15,11 +15,6 @@
|
|||
pluginName = RSE Terminals UI (Incubation)
|
||||
providerName = Eclipse.org
|
||||
|
||||
view.remoteTerminal=Remote Terminal
|
||||
|
||||
PropertyPage.ServerLauncherSettings = Server Launcher Settings
|
||||
PropertyPage.Service = Service
|
||||
PropertyPage.EnvVariables = Environment Variables
|
||||
|
||||
Launch_Terminal=Launch Terminal
|
||||
Launch_Terminal_Tooltip=Launch a terminal from the selected directory
|
||||
|
|
Loading…
Add table
Reference in a new issue