diff options
author | Kaloyan Raev | 2017-03-01 14:33:12 +0000 |
---|---|---|
committer | Gerrit Code Review @ Eclipse.org | 2017-03-02 15:35:45 +0000 |
commit | dd5309e1ffe154c20976880c6c9470dfbdce46bb (patch) | |
tree | 599da73575d2f558e770f6fcac014fdf995bacfa | |
parent | 66ed54177f08597219a568698604a4db6ad149cc (diff) | |
download | org.eclipse.epp.packages-dd5309e1ffe154c20976880c6c9470dfbdce46bb.tar.gz org.eclipse.epp.packages-dd5309e1ffe154c20976880c6c9470dfbdce46bb.tar.xz org.eclipse.epp.packages-dd5309e1ffe154c20976880c6c9470dfbdce46bb.zip |
Bug 512887 - Invert Terminal colors in PHP package
Change-Id: Iab246ea8a6eceb7a59189c8e35112664308b4535
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 |