On Thu, Jul 19, 2012 at 11:35 AM, Oliver Buchtala < oliver.bucht...@googlemail.com> wrote:
> On 19.07.2012 20:26, Maciej Stachowiak wrote: > >> On Jul 19, 2012, at 11:01 AM, Oliver Buchtala < >> oliver.buchtala@googlemail.**com <oliver.bucht...@googlemail.com>> wrote: >> FWIW, there is a gdb python API for changing the behavior... so called >> pretty printers. >> >>> It is not too difficult to write such pretty-printers. >>> >>> Maybe providing a set of useful pretty-printers is a better approach >>> than providing a set of debug functions? >>> >> I would love to see a set of useful pretty printers that we could share. >> Do you have any we could use as a starting point? >> >> >> I have written some for other projects... not yet for webkit. > > Brady noted that there are some of them around? > I could provide some pretty-printers, if necessary... > There are some already in WebKit/Tools/gdb/webkit.py. It already includes formatters for WTF::String, WTF::CString and more. Feel free to add more to it.
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev
