diff options
| author | Kaloyan Raev | 2017-03-01 14:33:12 +0000 |
|---|---|---|
| committer | Kaloyan Raev | 2017-03-01 14:33:12 +0000 |
| commit | 0ca1083430fc2569b6331ad1e2e947eaa215807b (patch) | |
| tree | 882cfc3c7a854fad432b800e5b40e9e65d5fbaa4 | |
| parent | 4594e219beeca6661563bcbd06fd1d8f3dd1f092 (diff) | |
| download | org.eclipse.epp.packages-0ca1083430fc2569b6331ad1e2e947eaa215807b.tar.gz org.eclipse.epp.packages-0ca1083430fc2569b6331ad1e2e947eaa215807b.tar.xz org.eclipse.epp.packages-0ca1083430fc2569b6331ad1e2e947eaa215807b.zip | |
Bug 512887 - Invert Terminal colors in PHP package
Change-Id: Ibbf42d28e3755f3dd0f85c9f078abee75ec9cbd3
Signed-off-by: Kaloyan Raev <kaloyan.r@zend.com>
| -rw-r--r-- | packages/org.eclipse.epp.package.php/plugin_customization.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/packages/org.eclipse.epp.package.php/plugin_customization.ini b/packages/org.eclipse.epp.package.php/plugin_customization.ini index 46831f7b..9c9c74f5 100644 --- a/packages/org.eclipse.epp.package.php/plugin_customization.ini +++ b/packages/org.eclipse.epp.package.php/plugin_customization.ini @@ -65,3 +65,6 @@ org.eclipse.oomph.setup.ui/enable.preference.recorder=false # Ensure that the Lucene indexer is the active one if multiple indexers are available org.eclipse.dltk.core/org.eclipse.dltk.core.indexer.id=org.eclipse.dltk.core.index.lucene.indexer + +# Invert colors in terminal, i.e. black background +org.eclipse.tm.terminal.control/TerminalPrefInvertColors=true |