summaryrefslogtreecommitdiff
path: root/src/ui/documentwidget.c
AgeCommit message (Expand)Author
2020-10-30CleanupJaakko Keränen
2020-10-30Added a key binding mechanismJaakko Keränen
2020-10-29DocumentWidget: Clear buffered icon/headingJaakko Keränen
2020-10-29SidebarWidget: Improving blank Identities tabJaakko Keränen
2020-10-28DocumentWidget: Current heading on the sideJaakko Keränen
2020-10-28DocumentWidget: Working on buffering the side iconJaakko Keränen
2020-10-28Reporting TLS/SSL errorsJaakko Keränen
2020-10-27Added a network/TLS error pageJaakko 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-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-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-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-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-04Working on audio playbackJaakko Keränen
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
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 15:33:22 +0000