- Dillo-dev - lists.mailman3.com

patch: Re: [Dillo-dev] https through a proxy

by corvid＠lavabit.com

Jorge wrote: > Please commit the necessary parts. Done. All: To borrow Jorge's usual line, "Please test."

June 1, 2009

view source dpi question

by jcid＠dillo.org

On Mon, Jun 01, 2009 at 12:17:23AM +0200, Johannes Hofmann wrote: > 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? From the top of my head (because I haven't worked there in a long time): start_send_page is the canonical way to send a page to dillo from a dpi. The missing part may be how to send the page to the dpi first. I remember making a short and funny dialog for adding bookmarks to illustrate how bidirectional data exchange could be done; it's still in the code! (take a look in a_Bookmarks_chat_add()) If it gets unclear, please let me know to allocate some time to help on it. -- Cheers Jorge.-

June 1, 2009

view source dpi question

by Johannes.Hofmann＠gmx.de

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

June 1, 2009

view source dpi question

by jcid＠dillo.org

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> -- Cheers Jorge.-

June 1, 2009

[patch]: more doxygen fixes

by jcid＠dillo.org

On Sun, May 31, 2009 at 06:50:28AM +0100, Jeremy Henty wrote: > > Doxygen is missing some methods because it's not smart enough about > namespaces and sometimes thinks that the signatures of the declaration > and the definition are different when they are not. You can see the > warnings in its output (hint: redirect stdout to /dev/null to extract > the warnings from the noise). Patch attached that adds some explicit > namespace qualifiers. This removes doxygen's confusion, fixes the > docs and silences the warnings. Committed! -- Cheers Jorge.-

May 31, 2009

Re: the *_freeall() patch

by jcid＠dillo.org

On Sat, May 30, 2009 at 01:21:12AM +0000, corvid wrote: > In http://lists.auriga.wearlab.de/pipermail/dillo-dev/2009-March/006234.html > about key bindings, the matter of the *freeall()s came up. > My copy of the patch that I sent you has that same date on it, Mar 25, > and I think I sent it within maybe...two days. > > I've been running on it without incident since that time, other > than that since-fixed klist bug that it found. Committed. BTW, I also added a a_Prefs_freeall() function. Please test. -- Cheers Jorge.-

May 31, 2009

view source dpi question

by corvid＠lavabit.com

> 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?

May 31, 2009

view source dpi question

by Johannes.Hofmann＠gmx.de

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

May 31, 2009

[patch]: more doxygen fixes

by corvid＠lavabit.com

Johannes wrote: > On Sun, May 31, 2009 at 02:58:40PM -0400, Jorge Arellano Cid wrote: > > On Sun, May 31, 2009 at 06:50:28AM +0100, Jeremy Henty wrote: > > > > > > Doxygen is missing some methods because it's not smart enough about > > > namespaces and sometimes thinks that the signatures of the declaration > > > and the definition are different when they are not. You can see the > > > warnings in its output (hint: redirect stdout to /dev/null to extract > > > the warnings from the noise). Patch attached that adds some explicit > > > namespace qualifiers. This removes doxygen's confusion, fixes the > > > docs and silences the warnings. > > > > It looks OK to me. > > Does anybody have any objection/comment? > > +1 No objections.

May 31, 2009

patch: Re: [Dillo-dev] https through a proxy

by Johannes.Hofmann＠gmx.de

On Wed, May 27, 2009 at 12:17:26AM +0000, corvid wrote: > Here you go. As I said, I have not had the opportunity to > test this under a wide range of conditions. I'd like to see this in the release, because ignoring the proxy for https is not only unexpected, but can be a security / privacy problem e.g. when using tor. Cheers, Johannes

May 31, 2009