Skip to content

Terminal settings are altered #5

Open
Open
Terminal settings are altered#5
Labels
bugSomething isn't working
@JDuchniewicz

Description

@JDuchniewicz
JDuchniewicz
opened on Oct 21, 2020

For crossterm TUI backend, restore previous terminal settings, and do not alter them unnecessarily.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions