<dnkl>
but I'll do a release without it, if necessary
uncomfy has quit [Quit: uncomfy]
<sterni>
hm ok
<sterni>
then I'll apply the patch since someone has already PRed it
<sterni>
so likely someone is suffering a bit :p
ayushnix has quit [Remote host closed the connection]
ayushnix has joined #foot
ayushnix has quit [Ping timeout: 246 seconds]
<rockorager>
dnkl: reading through some old PRs/issues and wondering what the current thoughts on undercurls/colored underlines are?
<dnkl>
I don't want to merge the PR as is. However, I have some thoughts on how it can be done with minimal runtime memory overhead. The thoughts are unfinished however, and will also require a pretty big refactoring.
<dnkl>
so, maybe in the future. But not the near future
bgs has quit [Remote host closed the connection]
<rockorager>
dnkl: also appreciating mouse shapes :)