After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 762590 - The headerbar could be resized to smaller than the window width
The headerbar could be resized to smaller than the window width
Status: RESOLVED FIXED
Product: polari
Classification: Applications
Component: general
3.19.x
Other Linux
: Normal normal
: ---
Assigned To: Polari maintainers
Polari maintainers
Depends on:
Blocks:
 
 
Reported: 2016-02-24 09:36 UTC by Arnaud B.
Modified: 2016-02-24 12:50 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Screenshot. (517.91 KB, image/png)
2016-02-24 09:36 UTC, Arnaud B.
  Details
mainWindow: Only use fixed-size-sidebar hack for natural size (1.84 KB, patch)
2016-02-24 12:50 UTC, Florian Müllner
committed Details | Review

Description Arnaud B. 2016-02-24 09:36:47 UTC
Created attachment 322219 [details]
Screenshot.

On a Wayland session at least, the window could be resized so that the headerbar finishes smaller than the general width.
Comment 1 Florian Müllner 2016-02-24 12:50:34 UTC
The following fix has been pushed:
0c2e137 mainWindow: Only use fixed-size-sidebar hack for natural size
Comment 2 Florian Müllner 2016-02-24 12:50:39 UTC
Created attachment 322234 [details] [review]
mainWindow: Only use fixed-size-sidebar hack for natural size

Reporting a fixed minimum size apparently confuses GTK+ in some
cases - luckily we don't actually need it, as GtkWidget already
allows to override it via set_size_request(), so use that and
limit the hack to restricting the maximum size.