Time  Nick      Message
16:17 jonadab   Ideally, the really correct delimiter at the end of the URL, is the same one that was at the beginning.  So if you have "https://... then you look for the closing ", but if the h starts after a space, you look for a space.  Only problem with this is, people are idiots and treat URLs as words and put them in sentences and follow them with punctuation.
16:18 jonadab   I don't think there's an ideal solution for the "people are idiots" problem.  Someone will always invent a higher form of idiocy that screws it up.
16:19 MTDiscord <luatic> URLs have a well defined grammar, just write a proper RegEx.
16:20 jonadab   Yes, but URLs are allowed to end with some of the characters people like to put directly after them.
16:21 jonadab   comma is probably the worst offender here.
16:21 jonadab   Or maybe period.
16:26 MTDiscord <luatic> Not to mention question mark, indeed
16:27 MTDiscord <luatic> For brackets, matching can be used
16:27 MTDiscord <luatic> Incorrectly ending URLs before a punctuation mark is fine though. If you really need it, you can always escape it.
19:31 pgimeno   https://datatracker.ietf.org/doc/html/rfc3986#appendix-C
19:33 pgimeno   that's how people should include URLs in their texts, but no one seems to care
19:33 pgimeno   or even know
20:06 sfan5     another long standing bug: copy-pasting unicode text now works too \o/
22:26 pgimeno   wow
22:53 pgimeno   I guess I can now enter accented characters by copy/pasting them ^.^
22:57 sfan5     dead keys have been fixed for a while
23:02 pgimeno   oh right! when did that happen? I don't see it in any commit
23:05 pgimeno   oh this one I guess: https://github.com/minetest/irrlicht/commit/7c428c6dc2608693ab326ec3569b03bf8cddc4d5 - oh my it was so frigging simple
23:06 pgimeno   well done