[Dillo-dev] Large Panel

Hi there, Does anybody use "panel_size=large" in dillorc? I'd like to remove the option in the 1.3 branch, and keep tiny, small and medium. -- Cheers Jorge.-