index
:
lagrange.git
dev
dev-unrebased
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2020-10-21
Bump version number to 0.6
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-20
Tweaked error message to be friendlier
Jaakko Keränen
2020-10-20
GmDocument: Color theme adjustments
Jaakko Keränen
2020-10-19
GmDocument: Slightly tighter spacing between list items
Jaakko Keränen
2020-10-19
Updated release notes
Jaakko Keränen
2020-10-19
GmDocument: Colorful Light should be less saturated
Jaakko Keränen
2020-10-18
Updated release notes
Jaakko Keränen
2020-10-18
Added the "Colorful Light" document theme
Jaakko Keränen
2020-10-18
Preferences: Colors moved to 2nd place
Jaakko Keränen
2020-10-18
Added more document color themes
Jaakko Keränen
2020-10-18
Player: Dim scrubber when paused
Jaakko Keränen
2020-10-18
Cleanup
Jaakko Keränen
2020-10-18
DocumentWidget: Improved audio player UI refresh
Jaakko Keränen
2020-10-17
Updated release notes
Jaakko Keränen
2020-10-17
Windows: Deploy locally built libmpg123 DLL
Jaakko Keränen
2020-10-16
Updated release notes
Jaakko Keränen
2020-10-16
Fixed: Color saturation for default theme colors
Jaakko Keränen
2020-10-16
Loading resources from a predetermined path
Jaakko Keränen
2020-10-16
Updated README
Jaakko Keränen
2020-10-16
Player: Hide volume slider after 3 sec idle time
Jaakko Keränen
2020-10-16
Updated repository hero image
Jaakko Keränen
2020-10-16
Open link in new tab with middle mouse button
Jaakko Keränen
2020-10-16
Player: Fixed build with older version of mpg123
Jaakko Keränen
2020-10-15
Added mpg123 to open source licenses page
Jaakko Keränen
2020-10-15
Updated release notes
Jaakko Keränen
2020-10-15
Determining app executable location
Jaakko Keränen
2020-10-15
Player: Parsing Vorbis and MP3 metadata
Jaakko Keränen
2020-10-15
Player: Streaming MP3 playback
Jaakko Keränen
2020-10-14
Use libmpg123 to decode MPEG audio
Jaakko Keränen
2020-10-14
Cleanup
Jaakko Keränen
2020-10-14
Player: Volume adjustment UI
Jaakko Keränen
2020-10-14
Cleanup
Jaakko Keränen
2020-10-13
Updated released notes
Jaakko Keränen
2020-10-12
SidebarWidget: Improved list scroll bar
Jaakko Keränen
2020-10-12
Clear input focus when switching tabs
Jaakko Keränen
2020-10-12
Normalizing long spaces to a tab stop
Jaakko Keränen
2020-10-11
Updated release notes
Jaakko Keränen
2020-10-11
Text: Font tuning
Jaakko Keränen
2020-10-11
Paste from clipboard on middle mouse click
Jaakko Keränen
2020-10-11
Remember which Preferences tab is open
Jaakko Keränen
2020-10-11
Added a preference for heading font
Jaakko Keränen
2020-10-11
Added two serif fonts; minor color tweaks
Jaakko Keränen
2020-10-11
Cleanup: Moved fonts to res/fonts/
Jaakko Keränen
2020-10-11
Updated release notes
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-11
Focus behavior of the URL entry field
Jaakko Keränen
[next]