Bug fix: Info sidebar width in GTK3
authorColin Clark <colin.clark@cclark.uk>
Fri, 8 Sep 2017 10:25:06 +0000 (11:25 +0100)
committerColin Clark <colin.clark@cclark.uk>
Fri, 8 Sep 2017 10:25:06 +0000 (11:25 +0100)
commit1ceb6bcd100d9dca49481dfc0797551fa2f07d70
tree4bf34081d8d04941aa09039647f069691bc7562e
parent317f0e8a8be59e44829e97836ba6fc7cd63f23c5
Bug fix: Info sidebar width in GTK3

In bar_size_allocate() the width obained is the allocated width. In GTK2
this is the actual width. In GTK3 it is the *minimum* width. This
results in the info sidebar being able to increase, but not decrease.
There does not seem to be a way in GTK3 to get the actual width of a
widget. For GTK3 the only way is to disable it. The width of the sidebar
is therefore not preserved across restarts.
src/bar.c