diff options
-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 |