@JazzyNico - the ruler issue is not specific to GTK3 on Windows (see bug #1094511) - could this be addressed in trunk instead of modifying a theme which is usually installed by default (system) and not under the packager's or user's control?
@JazzyNico - the ruler issue is not specific to GTK3 on Windows (see bug #1094511) - could this be addressed in trunk instead of modifying a theme which is usually installed by default (system) and not under the packager's or user's control?