In gitk there are two panel, the top panel which display mostly the list of commits, and the bottom panel which shows changes in this commit. Somehow, since this week I cannot adjust the height of these two panels, like making one of them bigger/smaller. Any idea why?

