[Dillo-dev]Patch: config option for page increment
Hi everyone, I have made a small change to dillo-0.8.4, so I can put a line like scroll_factor=0.5 in my dillorc and get the old behaviour for scrolling a page. It would be great if this could be included in the dillo distribution, so I don't have to patch my source every time I build a new version. I know that the current effort is the port to FLTK. If this makes this patch useless for new versions, I'll try to adapt it once the port to FLTK is done. Regards Alexander -- PGP key available
On Mon, Mar 14, 2005 at 02:41:31PM +0100, Alexander Becher wrote:
Hi everyone,
Hi!
I have made a small change to dillo-0.8.4, so I can put a line like
scroll_factor=0.5
in my dillorc and get the old behaviour for scrolling a page.
It would be great if this could be included in the dillo distribution, so I don't have to patch my source every time I build a new version.
I know that the current effort is the port to FLTK. If this makes this patch useless for new versions, I'll try to adapt it once the port to FLTK is done.
Don't worry, most probably there will not be a 0.8.5. Just be sure that once the protoype is available (with scrolling ;) you submit a patch for it. -- Cheers Jorge.-
participants (2)
-
Alexander Becher -
Jorge Arellano Cid