2015-04-16 09:11:41 +02:00
|
|
|
Manifest-Version: 1.0
|
|
|
|
Bundle-ManifestVersion: 2
|
|
|
|
Bundle-Name: %pluginName
|
|
|
|
Bundle-SymbolicName: org.eclipse.tm.terminal.view.ui;singleton:=true
|
2021-05-21 14:56:58 -04:00
|
|
|
Bundle-Version: 4.9.0.qualifier
|
2015-04-16 09:11:41 +02:00
|
|
|
Bundle-Activator: org.eclipse.tm.terminal.view.ui.activator.UIPlugin
|
|
|
|
Bundle-Vendor: %providerName
|
|
|
|
Require-Bundle: org.eclipse.core.expressions;bundle-version="3.4.400",
|
|
|
|
org.eclipse.core.runtime;bundle-version="3.8.0",
|
|
|
|
org.eclipse.core.resources;bundle-version="3.8.1";resolution:=optional,
|
2016-02-10 16:02:54 +01:00
|
|
|
org.eclipse.core.variables;bundle-version="3.2.600",
|
|
|
|
org.eclipse.debug.ui;bundle-version="3.8.1";resolution:=optional,
|
2015-08-11 14:11:54 +02:00
|
|
|
org.eclipse.egit.ui;bundle-version="2.0.0";resolution:=optional,
|
2021-05-19 12:48:23 -04:00
|
|
|
org.eclipse.tm.terminal.view.core;bundle-version="[4.8.0,5.0.0)",
|
|
|
|
org.eclipse.tm.terminal.control;bundle-version="[5.2.0,6.0.0)",
|
2021-03-04 14:22:02 -05:00
|
|
|
org.eclipse.ui;bundle-version="3.8.0",
|
|
|
|
org.eclipse.ui.ide;bundle-version="3.18.0";resolution:=optional,
|
|
|
|
org.eclipse.ui.editors;bundle-version="3.14.0";resolution:=optional,
|
|
|
|
org.eclipse.text;bundle-version="3.11.0";resolution:=optional
|
2020-08-23 08:05:03 -04:00
|
|
|
Bundle-RequiredExecutionEnvironment: JavaSE-11
|
2015-04-16 09:11:41 +02:00
|
|
|
Bundle-ActivationPolicy: lazy
|
|
|
|
Bundle-Localization: plugin
|
|
|
|
Export-Package: org.eclipse.tm.terminal.view.ui.actions,
|
|
|
|
org.eclipse.tm.terminal.view.ui.activator;x-internal:=true,
|
|
|
|
org.eclipse.tm.terminal.view.ui.controls,
|
|
|
|
org.eclipse.tm.terminal.view.ui.help,
|
|
|
|
org.eclipse.tm.terminal.view.ui.interfaces,
|
|
|
|
org.eclipse.tm.terminal.view.ui.interfaces.tracing;x-internal:=true,
|
|
|
|
org.eclipse.tm.terminal.view.ui.internal;x-internal:=true,
|
|
|
|
org.eclipse.tm.terminal.view.ui.internal.dialogs;x-internal:=true,
|
|
|
|
org.eclipse.tm.terminal.view.ui.internal.handler;x-internal:=true,
|
|
|
|
org.eclipse.tm.terminal.view.ui.launcher,
|
|
|
|
org.eclipse.tm.terminal.view.ui.listeners,
|
2016-06-06 01:29:33 +02:00
|
|
|
org.eclipse.tm.terminal.view.ui.local.showin;x-internal:=true,
|
2015-04-16 09:11:41 +02:00
|
|
|
org.eclipse.tm.terminal.view.ui.manager,
|
|
|
|
org.eclipse.tm.terminal.view.ui.nls;x-internal:=true,
|
|
|
|
org.eclipse.tm.terminal.view.ui.panels,
|
2016-06-06 01:29:33 +02:00
|
|
|
org.eclipse.tm.terminal.view.ui.preferences;x-internal:=true,
|
2015-04-16 09:11:41 +02:00
|
|
|
org.eclipse.tm.terminal.view.ui.services,
|
|
|
|
org.eclipse.tm.terminal.view.ui.streams,
|
|
|
|
org.eclipse.tm.terminal.view.ui.tabs,
|
2015-08-11 11:01:52 +02:00
|
|
|
org.eclipse.tm.terminal.view.ui.view,
|
2015-09-10 14:52:06 +02:00
|
|
|
org.eclipse.tm.terminal.view.ui.view.showin;x-internal:=true
|
2020-02-05 22:06:57 +02:00
|
|
|
Automatic-Module-Name: org.eclipse.tm.terminal.view.ui
|