28 Dec
2007
28 Dec
'07
5:52 p.m.
Hi, Committed. On Thu, Dec 27, 2007 at 06:09:37PM +0000, place wrote:
Interestingly, the default was and is Tiny if panel_size is not mentioned in the rc, the default was and is Small in dillorc2, the initial value had been Medium in ui.cc, and the default was and is Large if the panel_size value is not understood.
Yeah, quite untidy. Large is ok when there's no dillorc2, or panel_size is bad/not-present, dillorc2 in the source tree may vary. -- Cheers Jorge.-