Pop-compact variants: GNOME Top bar does not shrink, only the fonts shrink

[Feichtmeier]

NOTE: Before reporting a bug, please check whether it also occurs with other themes.

If the bug also occurs with other themes (especially upstream default theme),
it is very likely an upstream issue.

---

Reporter info

 * Distribution - Ubuntu 17.10
 * Gtk+ 3.0 version - 3.22.21-0ubuntu1

 * Desktop environment - GNOME
 * Pop version - 2.1.1.11

Related Application and/or Shell theming (or name of widget)
Shell theming: top bar

Actual issue
There is no difference in the size of the top bar from normal pop to pop compact. Only the font shrinks. In some old versions, the top bar did shrink, so I thought this could be an issue.

Steps to reproduce

Expected behavior

Behavior in Adwaita

Other Note (feature-request, question, etc...)

[ghost]

Hello, not fixed for me. I use the git version from here.
Fresh download 5 minutes ago, bug still present.

Seems that this commit wasn't merged.

[isantop]

@DarthWound This is fixed in the version-3 branch, not yet in master.

[ghost]

Ok thank you :)