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