> the ruler issue is not specific to GTK3 on Windows (see bug #1094511)
I didn't remember it was reopened. Patch in progress!
> the ruler issue is not specific to GTK3 on Windows (see bug #1094511)
I didn't remember it was reopened. Patch in progress!