AmendHub

jcs

/

wikipedia

/

amendments

Amendments on August 28, 2023

util: Sync with upstream

jcs made amendment 41 8 months ago

*: Remove xmalloc comments, handle malloc failure

jcs made amendment 42 8 months ago

Amendments on August 30, 2023

util: Add a new style of malloc debugging

This helps find when allocated buffers have been overflowed.
jcs made amendment 43 8 months ago

*: Fix lots of bugs, add progress in fetch dialog

More carefully check working buffer, handle large buffers of unstyled
text.
jcs made amendment 44 8 months 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
jcs made amendment 45 8 months ago

wikipedia; Remove "article" from dialog

jcs made amendment 46 8 months ago

Amendments on October 16, 2023

util: Wrap

jcs made amendment 47 6 months ago

browser: Fix scrollbar in updates

jcs made amendment 48 6 months ago

*: Make Wikipedia hostname configurable in a new settings window

Most of the settings dialog logic taken from Wallops
jcs made amendment 49 6 months ago

rez: Change default hostname to a Cloudflare worker

I don't want to be responsible for hosting the infrastructure for
this.
jcs made amendment 50 6 months ago

rez: Tweak icon mask

jcs made amendment 51 6 months ago

LICENSE+README: Add

jcs made amendment 52 6 months ago

Amendments on October 30, 2023

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.
jcs made amendment 53 6 months ago

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.
jcs made amendment 54 6 months ago

Amendments on October 31, 2023

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.
jcs made amendment 55 6 months ago

rez: 1.1b

jcs made amendment 56 6 months ago

Amendments on November 6, 2023

rez: Tweak icon mask, 1.1 final

jcs made amendment 57 5 months ago

README: 1.1 final

jcs made amendment 58 5 months ago