Re: [elinks-dev] [PATCH 09/10] Add preferred_document_width option.

On Wed, May 13, 2009 at 03:52:33PM +0300, أحمد المحمودي wrote: > I am trying your patches, I get these messages from elinks, I think > the reason is patch #9: > > DEBUG MESSAGE at /tmp/buildd/elinks-0.13~20090512/src/config/options.c:306: > get_opt_*("document.browse.use_preferred_document_w

Re: [elinks-dev] [PATCH 09/10] Add preferred_document_width option.

Hello, I am trying your patches, I get these messages from elinks, I think the reason is patch #9: DEBUG MESSAGE at /tmp/buildd/elinks-0.13~20090512/src/config/options.c:306: get_opt_*("document.browse.use_preferred_document_width") @ /tmp/buildd/elinks-0.13~20090512/src/document/options.c