summaryrefslogtreecommitdiff
path: root/src/ui
AgeCommit message (Collapse)Author
2020-10-24Updated Help: color themesJaakko Keränen
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-22CleanupJaakko Keränen
2020-10-22Added "Nanum Gothic" as a Korean fontJaakko Keränen
This overrides Kosugi Maru as it looks a bit nicer, in case there are glyphs available in both.
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-18Added the "Colorful Light" document themeJaakko Keränen
2020-10-18Preferences: Colors moved to 2nd placeJaakko Keränen
2020-10-18Added more document color themesJaakko Keränen
The dark and light themes are now configurable in Preferences.
2020-10-18Player: Dim scrubber when pausedJaakko Keränen
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-12SidebarWidget: Improved list scroll barJaakko Keränen
Sometimes the sidebar's scroll bar would not get updated correctly. There still remains an issue where the scroll maximum is incorrect if the sidebar is hidden at launch.
2020-10-12Clear input focus when switching tabsJaakko Keränen
2020-10-12Normalizing long spaces to a tab stopJaakko Keränen
Experimenting with terminal friendly space normalization where sometimes multiple spaces are used to align content horizontally (with a fixed-width font). When encountering 8 or more consecutive spaces, they are all replaced with a single tab character. Gemtext allows clients to normalize whitespace as they see fit.
2020-10-11Text: Font tuningJaakko Keränen
2020-10-11Paste from clipboard on middle mouse clickJaakko Keränen
2020-10-11Remember which Preferences tab is openJaakko Keränen
2020-10-11Added a preference for heading fontJaakko Keränen
Body and heading fonts can be selected separately.
2020-10-11Added two serif fonts; minor color tweaksJaakko Keränen
Added the EB Garamond and Literata fonts as serif font choices.
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-11Focus behavior of the URL entry fieldJaakko Keränen
Opening a new tab will now set input focus to the URL field. Switching tabs when the URL field is focused will select the full new URL. There was an issue previously where selecting a bookmark while the URL field was focused would cause unexpected behavior. The URL was first unfocused and that would trigger the document to fetch the URL that was in the input field.
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-04Fixed window position retain errorJaakko Keränen
At least on macOS, there is a stray window move event during app launch that causes the wrong position to be saved. At launch, the window position comes from preferences.
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