Age | Commit message (Collapse) | Author |
|
While document media is now kept in memory even in history, it's quite strange if audio players keep playing on a page viewed in the past without a way to control the playback.
|
|
Navigation history keeps final GmDocuments in memory for quicker restore when navigating; no need to redo layout.
Changed the color escape to Vertical Tab so Carriage Returns can be left in the source, reducing need to normalize spaces.
|
|
|
|
|
|
|
|
The most serious problem was that GmRequest's response body was being accessed while the TlsRequest thread was modifying it.
Now the response must always be locked before accessing elsewhere.
There were also inefficient data updates in the media players.
|
|
There's a lot of stuff in documentwidget.c. First, moving away the smaller helper code.
|
|
|
|
Making it possible for media to be partially updated, for streaming. Also fixed a problem with multiple concurrent audio players started on a single media item.
|
|
Audio players are displayed the same way as images. When playing, a decoder runs in a background thread producing samples suitable for output.
|
|
|