summaryrefslogtreecommitdiff
path: root/src/ui/documentwidget.c
AgeCommit message (Collapse)Author
2020-10-30CleanupJaakko Keränen
2020-10-30Added a key binding mechanismJaakko Keränen
The document scrolling keys are now handled via bindings.
2020-10-29DocumentWidget: Clear buffered icon/headingJaakko Keränen
2020-10-29SidebarWidget: Improving blank Identities tabJaakko Keränen
If there are no identities, the Identities tab now shows a button for creating one, and a link to the Help documentation.
2020-10-28DocumentWidget: Current heading on the sideJaakko Keränen
Redraw the side icon and heading when the current top heading changes.
2020-10-28DocumentWidget: Working on buffering the side iconJaakko Keränen
2020-10-28Reporting TLS/SSL errorsJaakko Keränen
A proper error page is now shown if there is an error during the TLS request.
2020-10-27Added a network/TLS error pageJaakko Keränen
There is now an error page shown when the TLS request fails for some reason. Error page theming is also updated at the time when the error page is composed.
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 17:29:09 +0000