Hi,
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?
Cheers,
Johannes