mirror of
https://github.com/asciinema/asciinema.git
synced 2026-04-25 07:55:51 +03:00
[GH-ISSUE #215] Buggy display of utop #158
Labels
No labels
bug
compatibility
feature request
fit for beginners
help wanted
hosting
idea
improvement
packaging
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/asciinema#158
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @Richard-Degenne on GitHub (Jul 11, 2017).
Original GitHub issue: https://github.com/asciinema/asciinema/issues/215
Below is a short Utop session. As you can see, the header line gets repeated with almost every keystroke in the recording, although my screen looked fine while recording it.
Below is a bit of configuration:
apt-get)@Richard-Degenne commented on GitHub (Jul 11, 2017):
I installed version 1.4.0 with
pip(instead of 0.9.8) and the problem disappeared.