Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Introduce more unicode symbols #199

Closed
ArneBachmann opened this issue Feb 22, 2018 · 1 comment
Closed

Introduce more unicode symbols #199

ArneBachmann opened this issue Feb 22, 2018 · 1 comment
Assignees
@ArneBachmann
Labels
feature
Milestone
1.5

Comments

@ArneBachmann
Copy link
Owner

And allow switching them on or off
@ArneBachmann ArneBachmann self-assigned this Feb 22, 2018
@ArneBachmann ArneBachmann added this to the 1.5 milestone Feb 22, 2018
@ArneBachmann
Copy link
Owner Author

Can be triggered by a default configuration useUnicodeFont which is True on Linux and False on other systems, but can be configured locally or globally and provides nicer animations and symbols in some status and progress messages .

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ArneBachmann ArneBachmann

Labels
feature
Projects
None yet
Milestone
1.5
Development

No branches or pull requests
1 participant
@ArneBachmann