-
Cosimo Cecchi authored
Instead of taking only the CSS padding into account when allocating the notebook children, also allocate the border width. https://bugzilla.gnome.org/show_bug.cgi?id=664342
009224a8
Instead of taking only the CSS padding into account when allocating the notebook children, also allocate the border width. https://bugzilla.gnome.org/show_bug.cgi?id=664342