summaryrefslogtreecommitdiff
path: root/src/ui/documentwidget.c
AgeCommit message (Collapse)Author
2020-10-24Adjusted smooth scroll speed when using mouse wheelJaakko Keränen
2020-10-24DocumentWidget: Page load progress indicatorJaakko Keränen
Show clearly that something is happening, even though we don't know the exact duration of the operation.
2020-10-23CleanupJaakko Keränen
2020-10-23Improved smooth scrollingJaakko Keränen
Use proper easing curves for a smoother animation. Ensure that mouse hover on links is disabled when scrolling.
2020-10-21Improved hover outline appearanceJaakko Keränen
Theme-specific color selection, and a dividing line for the current position.
2020-10-21Added theme colors for the hover outlineJaakko Keränen
Still need to choose them based on the current theme.
2020-10-21DocumentWidget: Fixed content buffering glitchJaakko Keränen
When jumping to the end or the beginning of the document, reset the VisBuf completely so it will be fully redrawn.
2020-10-20Added quote indicator preferenceJaakko Keränen
Also, added a command that gets posted when the mouse exits or enters the window area. This lets the hover outline to be updated accordingly.
2020-10-20Added timestamps to serialized responsesJaakko Keränen
A new version of the binary serialization format that includes timestamps for GmResponse.
2020-10-18CleanupJaakko Keränen
Consistent naming.
2020-10-18DocumentWidget: Improved audio player UI refreshJaakko Keränen
There is no need to prioritize animation smoothness when it comes to audio players. Just post timer events at a relaxed 15 Hz when active players are visible. Fixes an issue on macOS (and possibly other platforms) where moving the window was very glitchy if a player was active.
2020-10-16Player: Hide volume slider after 3 sec idle timeJaakko Keränen
2020-10-16Open link in new tab with middle mouse buttonJaakko Keränen
IssueID #8
2020-10-14Use libmpg123 to decode MPEG audioJaakko Keränen
mpg123 is configured as an optional dependency. Works for full files currently.
2020-10-14Player: Volume adjustment UIJaakko Keränen
2020-10-14CleanupJaakko Keränen
2020-10-11Media: Pause other players when a new one startsJaakko Keränen
2020-10-11Fixed saving a page that was restored from cacheJaakko Keränen
2020-10-11Fixed saving a page with a tilde in the filenameJaakko Keränen
The tilde was assumed to be a home directory name, and therefore the name was considered to be an absolute path in itself.
2020-10-10DocumentWidget: Fixed stopping a streaming playerJaakko Keränen
A partially received media request will be cancelled and deleted if the inline viewer is closed.
2020-10-10Player: Wider Play/Pause buttonJaakko Keränen
2020-10-09DocumentWidget: Animate players after tab changeJaakko Keränen
2020-10-09Support Ogg Vorbis audioJaakko Keränen
Playback starts as soon as possible, so one can listen while streaming. stb_vorbis.c needed a tiny tweak to not die on a file without (Ogg? Vorbis?) comments.
2020-10-09Fixed memory leak on tab closeJaakko Keränen
The DocumentWidget was not actually deleted when a tab was closed, only hidden.
2020-10-08Player: Rewind button in the UIJaakko Keränen
2020-10-08Player: Play/pause button in the UIJaakko Keränen
2020-10-08DocumentWidget: Start playing audio immediatelyJaakko Keränen
2020-10-08DocumentWidget: Updating audio contentJaakko Keränen
2020-10-07Fixed constant window redrawingJaakko Keränen
There were a couple of uninitialized values, which meant that the hovering outline was sometimes interpreted to be in an indefinite animation.
2020-10-07Drawing an audio player UIJaakko Keränen
2020-10-06Updating media contentJaakko Keränen
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.
2020-10-04Working on audio playbackJaakko Keränen
Audio players are displayed the same way as images. When playing, a decoder runs in a background thread producing samples suitable for output.
2020-10-01Refactor: Separate media from GmDocumentJaakko Keränen
2020-09-27DocumentWidget: Side icon animation glitchesJaakko Keränen
2020-09-26Fixed menu item label in error messageJaakko Keränen
2020-09-26DocumentWidget: Show top heading on the sideJaakko Keränen
2020-09-26Preferences: Added side icon, hover outlineJaakko Keränen
2020-09-25Document side elements; hover outlineJaakko Keränen
2020-09-22DocumentWidget: Drawing side elementsJaakko Keränen
The banner appears on the left, if there is room in the margin. Also added a document timestamp in the bottom to see when the data was received.
2020-09-21Preferences: Line width, 1st paragraph; tab switch keysJaakko Keränen
2020-09-21Added Prefs; placeholders for new optionsJaakko Keränen
2020-09-20Improved text selection starting on empty spaceJaakko Keränen
IssueID #4
2020-09-20Opening links in a new background tabJaakko Keränen
2020-09-18DocumentWidget: Improved context menuJaakko Keränen
The contents of the menu depend on what is clicked and whether text has been selected.
2020-09-18DocumentWidget: Adjusted mouse wheel scroll amountJaakko Keränen
2020-09-18Improved download indicator and stop/reload buttonJaakko Keränen
Follow which tab is open and actually stop ongoing requests instead of restarting them.
2020-09-18DocumentWidget: Inline image download indicatorJaakko Keränen
2020-09-17Download progress indicator for large downloadsJaakko Keränen
2020-09-17DocumentWidget: Saving the source to a fileJaakko Keränen
"Save Page" now writes the current page's source to the Downloads folder as a file.
2020-09-17DocumentWidget: Working on "Save Page"Jaakko Keränen
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-10 04:25:58 +0000