diff COPYRIGHT @ 20842:9da2ac85ce81

compute the new size by adding the difference to the actual allocated size instead of requested size, to work around the fact that after the user manually resizes the gtkpaned it ignores the requested size, leading to a perpetually growing window (because the window thinks it needs to grow to accomodate the lower_hbox, except the gtkpaned doesn't allow it to grow, so the top gtkimhtml is grown instead) also included some commented out code to make auto resize always happen even after the user manually resizes, not sure if we should enable that.
author Ka-Hing Cheung <khc@hxbc.us>
date Tue, 09 Oct 2007 07:37:26 +0000 (2007-10-09)
parents 02df6998b466
children 27ab73f69275 680e1319b464 975691a8d718
line wrap: on
line diff