Provide "terminal.integrated.enableBold" setting

[yustnip]

It will be great to have a possibility to change a font weight for the integrated terminal. Now a text inside it looks bolder than a text in the editor:

• VSCode Version: 1.10.2
• OS Version: Ubuntu 16.04

[Tyriar]

Do you mean you want to set all text in the terminal to be bold? Because that would conflict with the shell's ability to bold text itself:

Do you have any editor specific settings that deal with font weight?

[yustnip]

Do you mean you want to set all text in the terminal to be bold?
Yes, for example, to set all text in the terminal as "normal", "bold", etc.

VS Code terminal (different font weight):

Ubuntu terminal (same font weight):

Do you have any editor specific settings that deal with font weight?
No, for the editor in VS Code I have default font weight settings.

[Tyriar]

Do you have this set in gnome-terminal?

[yustnip]

No, I have it is disabled now. With "Allow bold text" checkmark a font weight behavior is the same as in VS Code terminal.

[Tyriar]

Ok, makes sense 😄

[Tyriar]

Accepting PRs on this, you will need to:

• Add the setting to terminal.contribution.ts
• Add the setting to the terminal.ts config interface
• Set some class on .integrated-terminal.panel based on the setting
• Add CSS for the class in xterm.css

[lifez]

@Tyriar @yustnip I would take this PR. Can I ?