Fix unhiding panel if it becomes empty and height_when_hidden is 0.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Tue, 23 Sep 2014 10:02:09 +0000 (13:02 +0300)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Tue, 23 Sep 2014 10:02:09 +0000 (13:02 +0300)
commit9a762e63dce20d425345947b7ad4f24ec510db27
tree5142b845ac9e59d6bdc94cb37dba1384592a1ec8
parent75e318ce42866112ef044273ed9b84c3fd76fe54
Fix unhiding panel if it becomes empty and height_when_hidden is 0.

gtk_widget_show() does not work because it is an empty container ATM.
Therefore gtk_widget_queue_resize() should be used as well.
ChangeLog
src/panel.c