version 2.16 bug about gnome builder top bar.
ftsiadimos opened this issue · 1 comments
ftsiadimos commented
I moved back to the version 2.15 and everything seems OK. In the latest version the top bar is larger for gnome builder.
Thanks you for the amazing theme! Please keep updating it!
ftsiadimos commented
the issue is resolved on 2.17 version.