summaryrefslogtreecommitdiff
path: root/src/ui
AgeCommit message (Collapse)Author
2020-08-05Color palette themingJaakko Keränen
2020-08-05Setting up document themingJaakko 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-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-03DocumentWidget: Em dashes in the window titleJaakko 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-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-01More robust URL processingJaakko Keränen
Fixed a number of special cases revealed by the client torture test.
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-30Text: Improved glyph cache allocatorJaakko Keränen
Tighter row packing by collecting glyphs of similar height to the same rows.
2020-07-30History of visited URLs; visualize time of last link visitJaakko 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-28Text: Kerning improvementsJaakko Keränen
Kern double slash manually, disable kerning for the monospace font.
2020-07-28DocumentWidget: Don't repeat the hostname if visibleJaakko Keränen
2020-07-28Improved title user parsing; back/forward mouse buttonsJaakko Keränen
2020-07-28Plaintext documents; unsupported MIME type errorJaakko Keränen
2020-07-28Cancelling a fetch restores the previous URLJaakko Keränen
Just navigating back.
2020-07-27Visualizing linksJaakko Keränen
Show which links are to the same site, and which are HTTP/S, Gopher, or files.
2020-07-27DocumentWidget: Fine-tuningJaakko Keränen
Stop hovering on links when fetching content, and clamp scroll position when resizing the view.
2020-07-27Show user from URL in window titleJaakko Keränen
2020-07-27DocumentWidget: Copying page contents, URLsJaakko Keränen
2020-07-27DocumentWidget: Marking a selection with the mouseJaakko Keränen
2020-07-27DocumentWidget: Change mouse cursorJaakko Keränen
Beam for document, hand for links, arrow for UI.
2020-07-27DocumentWidget: Drawing marked rangesJaakko Keränen
2020-07-27InputWidget: Notify whether Enter was pressedJaakko Keränen
2020-07-27Improved search input focus behaviorJaakko Keränen