[PR #405] [CLOSED] Add "--show-timer" play option #448

New issue

Closed

opened 2026-02-25 20:33:46 +03:00 by kerem · 0 comments

kerem commented

2026-02-25 20:33:46 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/asciinema/asciinema/pull/405
Author: @hydrargyrum
Created: 4/10/2020
Status: ❌ Closed

Base: develop ← Head: show-timer

📝 Commits (1)

bfb6196 Add "--show-timer" play option

📊 Changes

4 files changed (+22 additions, -5 deletions)

View changed files

📝 asciinema/__main__.py (+1 -0)
📝 asciinema/commands/play.py (+2 -1)
📝 asciinema/config.py (+4 -0)
📝 asciinema/player.py (+15 -4)

📄 Description

This option will show the current frame timer in a corner of the display.

This option can be useful when a user wants to edit a cast file:

user plays the file with --show-timer and jots down interesting timestamps
user knows where to insert/remove what they want in the cast file

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/asciinema/asciinema/pull/405 **Author:** [@hydrargyrum](https://github.com/hydrargyrum) **Created:** 4/10/2020 **Status:** ❌ Closed **Base:** `develop` ← **Head:** `show-timer` --- ### 📝 Commits (1) - [`bfb6196`](https://github.com/asciinema/asciinema/commit/bfb61960b8130963696f7a5752afd9cdac11944f) Add "--show-timer" play option ### 📊 Changes **4 files changed** (+22 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `asciinema/__main__.py` (+1 -0) 📝 `asciinema/commands/play.py` (+2 -1) 📝 `asciinema/config.py` (+4 -0) 📝 `asciinema/player.py` (+15 -4) </details> ### 📄 Description This option will show the current frame timer in a corner of the display. This option can be useful when a user wants to edit a cast file: - user plays the file with --show-timer and jots down interesting timestamps - user knows where to insert/remove what they want in the cast file --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>