workaround for resetting panel size cookies (closes #756)