index
:
lagrange.git
dev
dev-unrebased
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Age
Commit message (
Expand
)
Author
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
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
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
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
Cleanup
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
Media: Images not processed until data is complete
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-08
Helper for checking a successful status code
Jaakko Keränen
2020-10-08
Player: Total input size
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-06
WAV: 24-bit PCM, float 32/64; fixed audio issues
Jaakko Keränen
2020-10-04
Playing back a WAV file
Jaakko Keränen
2020-10-04
Fixed window position retain error
Jaakko Keränen
2020-10-04
Working on audio playback
Jaakko Keränen
2020-10-01
Player: Setting up the audio output
Jaakko Keränen
2020-10-01
Refactor: Separate media from GmDocument
Jaakko Keränen
2020-09-30
Windows: Initial/minimum window size vs. UI scale factor
Jaakko Keränen
2020-09-30
Windows: Use the system UI scaling factor
Jaakko Keränen
2020-09-30
Windows: Improved fix for UI blanking
Jaakko Keränen
2020-09-30
Windows: Declare as HiDPI aware
Jaakko Keränen
2020-09-29
Cleanup
Jaakko Keränen
2020-09-29
Added stub for audio player
Jaakko Keränen
2020-09-29
Text: Better readability with Fira Sans
Jaakko Keränen
2020-09-29
Lighter separators in Light mode
Jaakko Keränen
2020-09-29
GmDocument: List bullets use a different color
Jaakko Keränen
2020-09-28
Cleanup
Jaakko Keränen
2020-09-28
SidebarWidget: Max limit for sidebar width
Jaakko Keränen
2020-09-28
GmDocument: Tweaks in the dark color theme
Jaakko Keränen
2020-09-28
Adjusted light mode color palette
Jaakko Keränen
2020-09-27
macOS: 10.13 should use OpenGL renderer
Jaakko Keränen
2020-09-27
DocumentWidget: Side icon animation glitches
Jaakko Keränen
2020-09-27
macOS: Robust system appearance check
Jaakko Keränen
2020-09-26
Fixed menu item label in error message
Jaakko Keränen
[prev]
[next]