terminal attributes not restored on exit with --term CLI option

AnotherJohnH / Zif

Z-code engine for interactive fiction

MIT License

2 stars 0 forks source link

Closed AnotherJohnH closed 7 years ago

AnotherJohnH commented 7 years ago

In particular echo remains disabled.

AnotherJohnH commented 7 years ago

Found and fixed the bug in TerminalStdio