[Dillo-dev] [patch] fix close button height in page source window

On Mon, Dec 10, 2007 at 06:15:56PM +0100, Johannes Hofmann wrote:

Hi,

the height of the close button of the source code window changes with the size of the window. The patch below fixes its size.

Committed.

PS: Scrolling in the page source window is dead slow here. But that's definately a fltk issue...

Yes, and we still have the resort of showing the source inside a new dillo browser window (this would add find text, but lose the nice line numbers), with the gain of faster scrolling. Now, if we delegate viewsource to a dpi, it would be simple to add the line numbers. Just some thoughts. -- Cheers Jorge.-