[Dillo-dev] view source dpi question

[Johannes Hofmann]

On Sun, May 31, 2009 at 06:08:23PM -0400, Jorge Arellano Cid wrote:
> On Sun, May 31, 2009 at 07:55:27PM +0000, corvid wrote:
> > > annoyed by the slow source view widget I'd like to play with
> > > a source viewer dpi (Jorge, I think you suggested to use a
> > > dpi instead of coding it in dillo directly).
> > > However I want to avoid to reload the page from the dpi, as I want
> > > to be able to view the source exactly as it is currently displayed.
> > > 
> > > How should I pass the html document from dillo to the dpi? Any
> > > ideas?
> > 
> > Can you borrow the start_send_page stuff used to send local files to dillo?
> 
>   That's the idea.
> 
>   You  have  to pass the source to the dpi to create a table with
> the line number. That way you have the handy line number and find
> text functionality.
> 
>   Something like:
> 
>   <table>
>    <tr><td>1
>        <td> LINE_CONTENT_HERE
>    <tr><td>2
>        <td> LINE_CONTENT_HERE
>        ...
>   </table>

Yes, that will be the fun part :) I also think about an option to
pass the html to tidy to make it more readable.
However first I need to get the html from dillo to the dpi. Is
the start_send_page already working in that direction or is a new
equivalent method needed?

Cheers,
Johannes