different background colour for Terminal

[dulhaver]

I am using Gruvbox Dark Soft thems and believe it would be very nice to have a slightly different background colour for the Terminal then the editor window.

Nothing crazy, just slightly less/more saturation/brightness in the Terminal then the Editor, so the eyes have a little help grasping what's what.

[jdinhify]

Hey @vrms

Thank you for using the theme.

We're not gonna look into using different background color for the terminal at this stage. I think one of the goals when I started this was to provide a seamless look to the whole editor.

If you want to have a different background color for the terminal, you can edit your user settings and put in a different background. For instance if you want a darker background for the terminal with the Dark Soft variant, you can put this in settings.json

  "workbench.colorCustomizations": {
    "terminal.background": "#282828"
  }