summaryrefslogtreecommitdiff
path: root/src/ui
AgeCommit message (Expand)Author
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-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-20Added quote indicator preferenceJaakko Keränen
2020-10-20Added timestamps to serialized responsesJaakko 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-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-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
2020-10-10DocumentWidget: Fixed stopping a streaming playerJaakko Keränen
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
2020-10-09Fixed memory leak on tab closeJaakko Keränen
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
2020-10-07Drawing an audio player UIJaakko Keränen
2020-10-06Updating media contentJaakko Keränen
2020-10-04Fixed window position retain errorJaakko Keränen