Jonah Graham d6818fbb03 Bug 549697: Define standard terminal colors with Eclipse preferences ... New types TerminalColor and TerminalStyle replace StyleColor and Style to separate the meta information about styles and colors from the user currently selected colors. The StyleMap maps the TerminalColor/Style to the concrete fonts and colors used in the display. Colors are now configurable via the terminal preference page using the new TerminalColorsFieldEditor. All preferences are now passed in to the VT100 control so that different terminal consumers can have different preferences and styles. Remove dark theme contribution. The colors of the terminal are now inherited from the editor settings (using SystemDefaultColors) which come from the theme. If we were to invert colors too when in Dark theme then the colors actually end up light background. Change-Id: I2cf5427ac0be9a189a7f0d3565cfc97ceedb8749		2020-08-03 17:28:59 -04:00
..
admin	Bug 559474: Remove unneeded .settings directory	2020-01-31 13:20:47 -05:00
features	[releng] Bump version to 10.0.0	2020-04-11 17:46:58 -04:00
plugins	Bug 549697: Define standard terminal colors with Eclipse preferences	2020-08-03 17:28:59 -04:00
.gitignore	Move terminal files into subfolder	2018-08-28 12:54:02 -04:00
CONTRIBUTING	Move terminal files into subfolder	2018-08-28 12:54:02 -04:00
pom.xml	[releng] Bump version to 10.0.0	2020-04-11 17:46:58 -04:00