323

LESSWRONG
LW

322
Software ToolsPractical
Personal Blog

11

Wider Default Audio Player in Chrome?

by jefftk
12th Dec 2022
jefftk
1 min read
2

11

11

Wider Default Audio Player in Chrome?
1sovran
3jefftk
New Comment
2 comments, sorted by
top scoring
Click to highlight new comments since: Today at 8:57 PM
[-]sovran3y11

This post seems better suited to twitter. If this LW post was for a signal boost, I'd suggest at least posting on twitter in parallel, and linking to that on all your posts. 

Reply
[-]jefftk3y30

I don't use Twitter, sorry!

Reply
Moderation Log
More from jefftk
View more
Curated and popular this week
2Comments
Software ToolsPractical
Personal Blog

My kids like to listen to story tapes. Most of them their great grandmother recorded onto cassettes in the 1980s, their grandmother digitized in the 2000s, and I reworked for the web in the 2020s. We usually use either a tablet or old phone to play them back, and while the browser mostly works fine for this it's terrible for seeking:

The bar is so short that it's very hard to seek accurately, especially when a story is three hours long.

You might think that if you turned it sideways you would get a wider bar offering more precision, but no:

Popping width: 98% on the element in devtools gives a much more usable display:

Or, in landscape,

I wonder if this is really a one-line change, and whether Chrome would be interested in a patch?

Firefox is much better, in landscape:

Though about the same in portrait:

Comment via: facebook, mastodon