tree 6c5f5b8d2b1a949e564d9eac3223d25fa8c5158c
parent de52b1c9e144b4a36439f7159b16decd7e4ccccd
author Andrea Guarinoni <andrea.guarinoni@gmail.com> 1401228690 +0200
committer Andrea Guarinoni <andrea.guarinoni@gmail.com> 1401229090 -0400

Bug 435574 - [Themes] Dark theme overrides text editor background color

Re-enable the usage of 'org.eclipse.ui.editors/AbstractTextEditor.Color.Background' preference 
instead of 'Appearance > Colors&Fonts > Other defined by CSS > ACTIVE_CODE_EDITOR_BG_COLOR'

Change-Id: I30dc62bf8e45bf71628a4ea02fff4e834e2bd365
Signed-off-by: Andrea Guarinoni <andrea.guarinoni@gmail.com>