Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-15 | Progressive document rendering | Jaakko Keränen | |
VisBuf now guarantees that all the buffers are sequentially ordered. This ensure complete utilization of all the buffers. Previously some buffers were not used at all, or allocated to the same origin as another one (!). DocumentWidget is able to progressively fill up a buffer while scrolling. After any change to the visible region has been detected (and there are no ongoing changes), prerender the remaining runs one at a time. This solves the issue where one text run would be always unnecessarily rendered while scrolling, even if the scroll distance was just one pixel. | |||
2021-03-29 | Improving alt text animation; cleaned up key shortcut labels | Jaakko Keränen | |
Remove extra Plus signs from key shortcuts. | |||
2021-03-28 | Folding preformatted blocks and showing alt text | Jaakko Keränen | |
The alt text of preformatted blocks is shown on mouse hover. The blocks can be clicked to toggle folding. IssueID #180 | |||
2021-03-27 | GmDocument: Finding position in source | Jaakko Keränen | |
The returned position at a source location is now a range, pointing to the left and right edges of the contacted character. | |||
2021-03-18 | GmDocument: Trying out a footer | Jaakko Keränen | |
Currently disabled. | |||
2021-03-16 | Translation: More reliable markup preservation | Jaakko Keränen | |
2021-03-12 | DocumentWidget: Bookmarking a wrapped link | Jaakko Keränen | |
Only the clicked part of the label text was used for the bookmark. | |||
2021-03-09 | GmDocument: Light mode Gray document theme | Jaakko Keränen | |
The Gray theme now has a light and dark variant. | |||
2021-03-08 | Local Gemini links can use Emoji/symbol from label text | Jaakko Keränen | |
Instead of the default link icon, if a label starts with an Emoji or symbol, use that as the icon. This only works with local Gemini links so important information about link destination is not hidden. | |||
2021-02-24 | GmDocument: Media type flexibility | Jaakko Keränen | |
Allow defining new inline media types. | |||
2021-01-02 | GmDocument: New link icon for Finger links | Jaakko Keränen | |
Added a new link flag to identify Finger links so they can use their own icon. | |||
2021-01-02 | Add support for Finger protocol | Jaakko Keränen | |
A patch courtesy of John Cowan. IssueID #106 | |||
2020-12-02 | Show a banner warning about certificate issues | Jaakko Keränen | |
2020-11-30 | GmDocument: Special icon for query links | Jaakko Keränen | |
2020-11-28 | Scrolling wide preformatted blocks horizontally | Jaakko Keränen | |
Not entirely glitch-free but should be good enough for now. IssueID #44 | |||
2020-11-28 | Cleanup: Removed (hidden) preformatted wrap option | Jaakko Keränen | |
2020-11-21 | DocumentWidget: Marking link icons as search matches | Jaakko Keränen | |
2020-10-28 | Reporting TLS/SSL errors | Jaakko Keränen | |
A proper error page is now shown if there is an error during the TLS request. | |||
2020-10-20 | Added quote indicator preference | Jaakko Keränen | |
Also, added a command that gets posted when the mouse exits or enters the window area. This lets the hover outline to be updated accordingly. | |||
2020-10-18 | Added more document color themes | Jaakko Keränen | |
The dark and light themes are now configurable in Preferences. | |||
2020-10-04 | Working on audio playback | Jaakko Keränen | |
Audio players are displayed the same way as images. When playing, a decoder runs in a background thread producing samples suitable for output. | |||
2020-10-01 | Refactor: Separate media from GmDocument | Jaakko Keränen | |
2020-09-25 | Document side elements; hover outline | Jaakko Keränen | |
2020-09-22 | DocumentWidget: Drawing side elements | Jaakko Keränen | |
The banner appears on the left, if there is room in the margin. Also added a document timestamp in the bottom to see when the data was received. | |||
2020-09-21 | Added Prefs; placeholders for new options | Jaakko Keränen | |
2020-09-17 | Recognize and visualize "mailto:" links | Jaakko Keränen | |
"mailto:" links now have their own icon and when clicked they open the URL in the default web browser. IssueID #5 | |||
2020-09-17 | DocumentWidget: Permanent images | Jaakko Keränen | |
A dynamically generated page showing nothing but an image should not be treated the same way as an inline image. I.e., disallow hiding the image on an image page. | |||
2020-09-15 | GmDocument: Recognize "about:" links | Jaakko Keränen | |
2020-09-05 | Option to force break very long lines | Jaakko Keränen | |
Even preformatted lines may need to be wrapped so the content remains visible, since there is no horizontal scrolling. However, this is off by default so ASCII art isn't broken in narrow windows. | |||
2020-08-22 | Cleanup | Jaakko Keränen | |
2020-08-22 | Added BSD 2-clause license and copyright notices | Jaakko Keränen | |
2020-08-13 | Toggle sidebar visibility; save width and mode | Jaakko Keränen | |
2020-08-11 | Document outline; jumping to clicked heading | Jaakko Keränen | |
2020-08-10 | DocumentWidget: Check the MIME charset parameter | Jaakko Keränen | |
2020-08-06 | DocumentWidget: Adjusted document borders | Jaakko Keränen | |
2020-08-05 | Color palette theming | Jaakko Keränen | |
2020-08-05 | Setting up document theming | Jaakko Keränen | |
2020-08-04 | Added a large light font for the site banner | Jaakko Keränen | |
2020-08-03 | Server certificate TOFU | Jaakko Keränen | |
2020-08-01 | More robust URL processing | Jaakko Keränen | |
Fixed a number of special cases revealed by the client torture test. | |||
2020-07-30 | History of visited URLs; visualize time of last link visit | Jaakko Keränen | |
2020-07-29 | Moved History to its own type | Jaakko Keränen | |
2020-07-29 | DocumentWidget: Improved link presentation | Jaakko Keränen | |
2020-07-29 | Showing and hiding image content | Jaakko Keränen | |
2020-07-28 | Loading and rendering images in the document | Jaakko Keränen | |
There can be multiple inline media requests on the page. Images are always associated with a link. | |||
2020-07-28 | Detect known image/audio file extensions | Jaakko Keränen | |
2020-07-28 | DocumentWidget: Don't repeat the hostname if visible | Jaakko Keränen | |
2020-07-28 | Plaintext documents; unsupported MIME type error | Jaakko Keränen | |
2020-07-27 | Visualizing links | Jaakko Keränen | |
Show which links are to the same site, and which are HTTP/S, Gopher, or files. | |||
2020-07-27 | DocumentWidget: Marking a selection with the mouse | Jaakko Keränen | |