summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2020-08-06macOS: CleanupJaakko Keränen
2020-08-06macOS: Smooth inertia scrolling with trackpadJaakko Keränen
Requires a slightly tweaked SDL 2, though, when it comes to handling the scroll events.
2020-08-06App: Refresh vs. event handlingJaakko Keränen
Keep processing all pending events, not stopping for refresh prematurely.
2020-08-05Color palette themingJaakko Keränen
2020-08-05Setting up document themingJaakko Keränen
2020-08-05Mark HTTP URLs visited in the historyJaakko Keränen
2020-08-05Color: Added HSL conversionsJaakko Keränen
Removed the extra 15/88 grays from the UI palette.
2020-08-04Added a large light font for the site bannerJaakko Keränen
2020-08-04Open HTTP in default browserJaakko Keränen
On macOS and Linux.
2020-08-04Changing the document content text sizeJaakko Keränen
The glyph cache is purged whenever font sizes change. UI fonts are deliberately not changed in size so that UI metrics don't have to be recomputed.
2020-08-04DocumentWidget: Show server certificate expiration dateJaakko Keränen
2020-08-04Remember scroll positions on visited pagesJaakko Keränen
2020-08-03DocumentWidget: Show server certificate statusJaakko Keränen
2020-08-03GmCerts: Thread safety; fixed notificationsJaakko Keränen
Must update the status before notifying.
2020-08-03DocumentWidget: Em dashes in the window titleJaakko Keränen
2020-08-03Embed: Fixed handling of path not foundJaakko Keränen
2020-08-03Server certificate TOFUJaakko Keränen
2020-08-03Working on server certificatesJaakko Keränen
2020-08-02GmRequest: Checking the server certificateJaakko Keränen
Just testing so far.
2020-08-02Compose window title with host nameJaakko Keränen
2020-08-02CleanupJaakko Keränen
2020-08-02Window: Narrow layout mode for the navbarJaakko Keränen
2020-08-02Flag for tight label padding; aligning labels visuallyJaakko Keränen
2020-08-02GmDocument: First paragraph stylingJaakko Keränen
Only show a limited number of rows of larger text.
2020-08-02LabelWidget: Styling of pressed buttonsJaakko Keränen
2020-08-01Handling status codes by classJaakko Keränen
2020-08-01Fixed premature recyclingJaakko Keränen
Processing events outside event loop lead to recycler being called when a refresh was requested.
2020-08-01GmRequest: Handle "data:" protocol with embedded contentJaakko Keränen
Just on a lark.
2020-08-01More robust URL processingJaakko Keränen
Fixed a number of special cases revealed by the client torture test.
2020-07-31GmRequest: Print the server certificate for testingJaakko Keränen
2020-07-31Adjusted X symbolsJaakko Keränen
2020-07-31Text: Removing the baseline offset hackJaakko Keränen
2020-07-31Use the full Symbola font; don't embed resourcesJaakko Keränen
The fonts are too large to embed comfortably.
2020-07-30More readable italic fontJaakko Keränen
Thin fonts are nice but not very legible.
2020-07-30DocumentWidget: Indicate ongoing media requestsJaakko Keränen
2020-07-30DocumentWidget: Show content as soon as it arrivesJaakko Keränen
No need to wait for the request to be finished fully.
2020-07-30GmDocument: Visit times are for absolute URLsJaakko Keränen
2020-07-30Text: Improved glyph cache allocatorJaakko Keränen
Tighter row packing by collecting glyphs of similar height to the same rows.
2020-07-30GmDocument: Check absolute URLs for visit timesJaakko Keränen
2020-07-30History of visited URLs; visualize time of last link visitJaakko Keränen
2020-07-29Looking up URL visit timesJaakko Keränen
2020-07-29Utility for making absolute URLsJaakko Keränen
2020-07-29Text: More word wrapping charactersJaakko Keränen
2020-07-29Moved History to its own typeJaakko Keränen
2020-07-29DocumentWidget: Improved link presentationJaakko Keränen
2020-07-29Viewing image URLsJaakko Keränen
When the opened URL is just an image, generate a simple document for it.
2020-07-29Showing and hiding image contentJaakko Keränen
2020-07-28Loading and rendering images in the documentJaakko Keränen
There can be multiple inline media requests on the page. Images are always associated with a link.
2020-07-28Detect known image/audio file extensionsJaakko Keränen
2020-07-28GmRequest: Default MIME typeJaakko Keränen