summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2020-10-27Updated the_FoundationJaakko Keränen
2020-10-27Updated the_FoundationJaakko Keränen
TCP socket connection improvements.
2020-10-26Updated the_FoundationJaakko Keränen
IssueID #15
2020-10-26Updated release notesJaakko Keränen
2020-10-25Updated the_FoundationJaakko Keränen
2020-10-25Window: Workaround for a key handling issueJaakko Keränen
Likely a rare situation, but this workaround should be relatively safe -- ignore keydown events if they occur less than 10 milliseconds after the window has received input focus. IssueID #10
2020-10-25Window: Ensure window is redrawn after expose eventsJaakko Keränen
A window expose event should be treated as a refresh trigger. IssueID #11
2020-10-25Window: Ensure window is redrawn after expose eventJaakko Keränen
2020-10-25Updated the_FoundationJaakko Keränen
2020-10-25Updated HelpJaakko Keränen
2020-10-25Added missing copyright/license noticeJaakko Keränen
2020-10-24Bumped version number to 0.7Jaakko Keränen
2020-10-24Updated Help: color themesJaakko Keränen
2020-10-24Updated READMEJaakko Keränen
Clarifications to build instructions.
2020-10-24Updated release notes (typo)Jaakko Keränen
2020-10-24Updated release notesJaakko 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-23Updated release notesJaakko 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-23Updated README with more build instructionsJaakko Keränen
2020-10-23Updated release notesJaakko Keränen
2020-10-22Added Nanum Gothic to license.gmiJaakko Keränen
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-22Updated release notesJaakko Keränen
2020-10-22Windows: Improved executable metadataJaakko Keränen
2020-10-21Improved hover outline appearanceJaakko Keränen
Theme-specific color selection, and a dividing line for the current position.
2020-10-21CleanupJaakko Keränen
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-21GmDocument: Lighter paragraph text in Gray themeJaakko Keränen
2020-10-21Bump version number to 0.6Jaakko Keränen
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-20Tweaked error message to be friendlierJaakko Keränen
2020-10-20GmDocument: Color theme adjustmentsJaakko Keränen
Colorful Light is generally a lot lighter now.
2020-10-19GmDocument: Slightly tighter spacing between list itemsJaakko Keränen
Works better with short bullet lines, but still readable with wrapped ones, too.
2020-10-19Updated release notesJaakko Keränen
2020-10-19GmDocument: Colorful Light should be less saturatedJaakko Keränen
Easier on the eyes.
2020-10-18Updated release notesJaakko Keränen
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-17Updated release notesJaakko Keränen
2020-10-17Windows: Deploy locally built libmpg123 DLLJaakko Keränen
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 20:34:12 +0000