summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2020-10-25Window: Workaround for a key handling issueJaakko Keränen
2020-10-25Window: Ensure window is redrawn after expose eventsJaakko Keränen
2020-10-25Window: Ensure window is redrawn after expose eventJaakko Keränen
2020-10-25Added missing copyright/license noticeJaakko Keränen
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
2020-10-23CleanupJaakko Keränen
2020-10-23Improved smooth scrollingJaakko Keränen
2020-10-22CleanupJaakko Keränen
2020-10-22Added "Nanum Gothic" as a Korean fontJaakko Keränen
2020-10-21Improved hover outline appearanceJaakko Keränen
2020-10-21Added theme colors for the hover outlineJaakko Keränen
2020-10-21DocumentWidget: Fixed content buffering glitchJaakko Keränen
2020-10-21GmDocument: Lighter paragraph text in Gray themeJaakko Keränen
2020-10-20Added quote indicator preferenceJaakko Keränen
2020-10-20Added timestamps to serialized responsesJaakko Keränen
2020-10-20Tweaked error message to be friendlierJaakko Keränen
2020-10-20GmDocument: Color theme adjustmentsJaakko Keränen
2020-10-19GmDocument: Slightly tighter spacing between list itemsJaakko Keränen
2020-10-19GmDocument: Colorful Light should be less saturatedJaakko 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
2020-10-18Player: Dim scrubber when pausedJaakko Keränen
2020-10-18CleanupJaakko Keränen
2020-10-18DocumentWidget: Improved audio player UI refreshJaakko Keränen
2020-10-16Fixed: Color saturation for default theme colorsJaakko Keränen
2020-10-16Loading resources from a predetermined pathJaakko Keränen
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
2020-10-16Player: Fixed build with older version of mpg123Jaakko Keränen
2020-10-15Determining app executable locationJaakko Keränen
2020-10-15Player: Parsing Vorbis and MP3 metadataJaakko Keränen
2020-10-15Player: Streaming MP3 playbackJaakko Keränen
2020-10-14Use libmpg123 to decode MPEG audioJaakko Keränen
2020-10-14Player: Volume adjustment UIJaakko Keränen
2020-10-14CleanupJaakko Keränen
2020-10-12SidebarWidget: Improved list scroll barJaakko Keränen
2020-10-12Clear input focus when switching tabsJaakko Keränen
2020-10-12Normalizing long spaces to a tab stopJaakko Keränen
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
2020-10-11Added two serif fonts; minor color tweaksJaakko 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
2020-10-11Focus behavior of the URL entry fieldJaakko Keränen