๐Ÿ’พ Archived View for bbs.geminispace.org โ€บ u โ€บ skyjake โ€บ 501 captured on 2023-11-04 at 15:58:19. Gemini links have been rewritten to link to archived content

View Raw

More Information

โฌ…๏ธ Previous capture (2023-09-08)

โžก๏ธ Next capture (2023-11-14)

๐Ÿšง View Differences

-=-=-=-=-=-=-

Comment by ๐Ÿš€ skyjake

Re: "Let's try some Lagrange dev liveblogging"

In: u/skyjake

Crash is due to cached text runs referencing memory that has already been freed. Time to fire up AddressSanitizer.

๐Ÿš€ skyjake

2023-05-18 ยท 6 months ago

6 Later Comments โ†“

๐Ÿš€ skyjake

Xcode fought back by forcing me to regenerate the Xcode project and fiddle with some build settings, but apparently DocumentView frees the GmDocument but doesn't invalidate itself, i.e., clear all pointers to the document data.

Doesn't seem to crash any more? Onto the next thing. ๐Ÿ’ช

๐Ÿš€ skyjake

This coding session is experiencing some headwinds as I have to every now and then get up and swing the baby so he stays asleep. (As usual.)

Now let's see if we can clean up that mess of a title and icon in the left margin.

โ€” Ah, much better.

โ€” Tweaked the word wrapping rules to allow periods inside words to break.

๐Ÿš€ skyjake

Looks like my time is up! Let's see if I can do this again another day...

๐Ÿต michaelnordmeyer

Putting the devblog messages in the comment section works well IMHO.

Regarding tab opening, I'd like open next to current tab, but keep opening the following tabs next to the last opened tab, like most web browsers do.

2023-05-19 ยท 6 months ago

๐Ÿš€ skyjake

@michaelnordmeyer Indeed, thanks for pointing that out. I should just chuck that option and implement the common browser behavior for tabs, there should be no need for customization.

๐Ÿ˜Ž Smokey

Bubble is looking awesome so far! And yes, I am on here btw, thanks for taking the suggestion ;)

2023-05-24 ยท 5 months ago

Original Post

๐Ÿš€ skyjake

Let's try some Lagrange dev liveblogging โ€” I think if one already has a gemlog on their own capsule, they probably don't want to write too many long-form posts here. But the /u/ feeds are well-suited for microblogging, too, without the need for any custom scripting, SSHing, or other such solutions. The use case is exactly the same as on fedi, I suppose, but I don't feel like spamming a lot of low-level dev details there.

๐Ÿ’ฌ 12 comments ยท 5 likes ยท 2023-05-18 ยท 6 months ago