[Dillo-dev] view source dpi question

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