jcs
/wikipedia
/amendments
Amendments on November 6, 2023
jcs made amendment
58
about 1 year ago
jcs made amendment
57
about 1 year ago
Amendments on October 31, 2023
jcs made amendment
56
about 1 year ago
wikipedia: Try resizing buf if we run out of room, don't just dump it
We might be in the middle of a giant infobox or something that isn't
supposed to be printed, so we have to keep growing or die trying.
Amendments on October 30, 2023
main+browser: Make cmd+click on links open them in a new window
Also add a new menu option to open a new, blank window.
wikipedia: Only collect characters inside a <Text> tag
Others with image URLs and other things can be quite large and we're
not doing anything with that data anyway. If we do run out of room,
try to grow before failing.
Amendments on October 16, 2023
jcs made amendment
52
about 1 year ago
jcs made amendment
51
about 1 year ago
rez: Change default hostname to a Cloudflare worker
I don't want to be responsible for hosting the infrastructure for
this.
*: Make Wikipedia hostname configurable in a new settings window
Most of the settings dialog logic taken from Wallops
jcs made amendment
48
about 1 year ago
jcs made amendment
47
about 1 year ago
Amendments on August 30, 2023
jcs made amendment
46
about 1 year ago
browser: Make sure H[1-5] elements have two newlines before them
Keep track of the last two printed characters so we don't end up
printing more than two newlines
*: Fix lots of bugs, add progress in fetch dialog
More carefully check working buffer, handle large buffers of unstyled
text.
util: Add a new style of malloc debugging
This helps find when allocated buffers have been overflowed.
Amendments on August 28, 2023
jcs made amendment
42
about 1 year ago
jcs made amendment
41
about 1 year ago
jcs made amendment
40
about 1 year ago
jcs made amendment
39
about 1 year ago