index
:
lagrange.git
dev
dev-unrebased
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
ui
/
documentwidget.c
Age
Commit message (
Expand
)
Author
2020-10-29
SidebarWidget: Improving blank Identities tab
Jaakko Keränen
2020-10-28
DocumentWidget: Current heading on the side
Jaakko Keränen
2020-10-28
DocumentWidget: Working on buffering the side icon
Jaakko Keränen
2020-10-28
Reporting TLS/SSL errors
Jaakko Keränen
2020-10-27
Added a network/TLS error page
Jaakko Keränen
2020-10-24
Adjusted smooth scroll speed when using mouse wheel
Jaakko Keränen
2020-10-24
DocumentWidget: Page load progress indicator
Jaakko Keränen
2020-10-23
Cleanup
Jaakko Keränen
2020-10-23
Improved smooth scrolling
Jaakko Keränen
2020-10-21
Improved hover outline appearance
Jaakko Keränen
2020-10-21
Added theme colors for the hover outline
Jaakko Keränen
2020-10-21
DocumentWidget: Fixed content buffering glitch
Jaakko Keränen
2020-10-20
Added quote indicator preference
Jaakko Keränen
2020-10-20
Added timestamps to serialized responses
Jaakko Keränen
2020-10-18
Cleanup
Jaakko Keränen
2020-10-18
DocumentWidget: Improved audio player UI refresh
Jaakko Keränen
2020-10-16
Player: Hide volume slider after 3 sec idle time
Jaakko Keränen
2020-10-16
Open link in new tab with middle mouse button
Jaakko Keränen
2020-10-14
Use libmpg123 to decode MPEG audio
Jaakko Keränen
2020-10-14
Player: Volume adjustment UI
Jaakko Keränen
2020-10-14
Cleanup
Jaakko Keränen
2020-10-11
Media: Pause other players when a new one starts
Jaakko Keränen
2020-10-11
Fixed saving a page that was restored from cache
Jaakko Keränen
2020-10-11
Fixed saving a page with a tilde in the filename
Jaakko Keränen
2020-10-10
DocumentWidget: Fixed stopping a streaming player
Jaakko Keränen
2020-10-10
Player: Wider Play/Pause button
Jaakko Keränen
2020-10-09
DocumentWidget: Animate players after tab change
Jaakko Keränen
2020-10-09
Support Ogg Vorbis audio
Jaakko Keränen
2020-10-09
Fixed memory leak on tab close
Jaakko Keränen
2020-10-08
Player: Rewind button in the UI
Jaakko Keränen
2020-10-08
Player: Play/pause button in the UI
Jaakko Keränen
2020-10-08
DocumentWidget: Start playing audio immediately
Jaakko Keränen
2020-10-08
DocumentWidget: Updating audio content
Jaakko Keränen
2020-10-07
Fixed constant window redrawing
Jaakko Keränen
2020-10-07
Drawing an audio player UI
Jaakko Keränen
2020-10-06
Updating media content
Jaakko Keränen
2020-10-04
Working on audio playback
Jaakko Keränen
2020-10-01
Refactor: Separate media from GmDocument
Jaakko Keränen
2020-09-27
DocumentWidget: Side icon animation glitches
Jaakko Keränen
2020-09-26
Fixed menu item label in error message
Jaakko Keränen
2020-09-26
DocumentWidget: Show top heading on the side
Jaakko Keränen
2020-09-26
Preferences: Added side icon, hover outline
Jaakko Keränen
2020-09-25
Document side elements; hover outline
Jaakko Keränen
2020-09-22
DocumentWidget: Drawing side elements
Jaakko Keränen
2020-09-21
Preferences: Line width, 1st paragraph; tab switch keys
Jaakko Keränen
2020-09-21
Added Prefs; placeholders for new options
Jaakko Keränen
2020-09-20
Improved text selection starting on empty space
Jaakko Keränen
2020-09-20
Opening links in a new background tab
Jaakko Keränen
2020-09-18
DocumentWidget: Improved context menu
Jaakko Keränen
2020-09-18
DocumentWidget: Adjusted mouse wheel scroll amount
Jaakko Keränen
[prev]
[next]