New windows terminal

[bernhard]

Seems like windows might get a proper default terminal
https://youtu.be/8gw0rXPMMPE

[giordano]

See also:

Windows terminal announcement

The Windows Terminal uses a GPU accelerated DirectWrite/DirectX-based text rendering engine. This new text rendering engine will display text characters, glyphs, and symbols present within fonts on your PC, including CJK ideograms, emoji, powerline symbols, icons, programming ligatures, etc. This engine also renders text much faster than the previous Console’s GDI engine! this can be a huge step for windows REPL julia sessions, what do you think? code: GitHub - microsoft/terminal: The new …