Bart Libert

I can confirm the same issue on two different Debian-based machines with the vault on a webdav share. Update: It must have something to do with gvfs, because if I...

I can confirm this (Gnome 3.14.1, Debian Jessie/sid), but it only happens when I have tabs in my terminal, without tabs it's fine. Edit: I did some more investigation and...

I have tested some other themes (some of the Zuki\* themes a.o.) and have not seen it in any theme except Paper.

I can test as well

The same issue is also present when using ProjectList

I tried it again and I cannot reproduce the "deleted origin" part, very strange. For the subtree, I realize it's not easy. Maybe a per-repo config for the remote to...

Is there some form of caching going on, because I changed the name of my remotes (prefixed with x_), so now the origin is the first one in the list...

I also have this issue, but I cannot reproduce it consistently. ## Description *Please provide as many information about the crash as possible (What did you do before the crash...

I have the same issue on the same phone (Galaxy S20 FE 5G) Android 12 Magisk 24.1 AA tweaker 5.0.2 Android Auto version 7.3.620504-release But note that I had the...

@haasosaurus: I tried your patched Iosevka fonts on linux, and I see an issue where "ë" is rendered as "e¨" in a much smaller format as the other characters. This...