Re: [webkit-dev] Purging as much memory as possible

2009-10-02 Thread Peter Kasting
On Thu, Oct 1, 2009 at 11:26 PM, Zoltan Herczeg zherc...@inf.u-szeged.huwrote: see QWebSettings::clearMemoryCaches() (WebKit/qt/Api/qwebsettings.cpp) to clear memory caches Thanks, this is super-helpful. PK ___ webkit-dev mailing list

Re: [webkit-dev] Purging as much memory as possible

2009-10-02 Thread Geoffrey Garen
* I notice that even when I set the WebCore::Cache capacity to zero, I can't necessarily dump _everything_ out of it. Is there some other set of calls I should make to drop more references somewhere? Cache::setCapacities() calls Cache::prune(), which should remove all dead items. Live

Re: [webkit-dev] Purging as much memory as possible

2009-10-02 Thread Peter Kasting
On Fri, Oct 2, 2009 at 11:13 AM, Geoffrey Garen gga...@apple.com wrote: Live items cannot be removed from the cache. Yeah, I think that is what I'm seeing. Assume the page is not being painted (e.g. the window is minimized). Is there a way to turn the live items into dead ones so they can be

[webkit-dev] MathML Patch Review Request

2009-10-02 Thread Alex Milowski
I have a patch that supports a number of basic elements in MathML. The harder ones are not included in this patch: https://bugs.webkit.org/show_bug.cgi?id=29529 While this patch contains rendering code, the rendering isn't that complicated. I'd like to request that people who are familiar

Re: [webkit-dev] Purging as much memory as possible

2009-10-02 Thread James Robinson
On Fri, Oct 2, 2009 at 12:10 PM, Peter Kasting pkast...@google.com wrote: On Fri, Oct 2, 2009 at 11:13 AM, Geoffrey Garen gga...@apple.com wrote: Live items cannot be removed from the cache. Yeah, I think that is what I'm seeing. Assume the page is not being painted (e.g. the window is

Re: [webkit-dev] Purging as much memory as possible

2009-10-02 Thread Peter Kasting
On Fri, Oct 2, 2009 at 2:42 PM, James Robinson jam...@google.com wrote: On Fri, Oct 2, 2009 at 12:10 PM, Peter Kasting pkast...@google.comwrote: On Fri, Oct 2, 2009 at 11:13 AM, Geoffrey Garen gga...@apple.com wrote: Live items cannot be removed from the cache. Yeah, I think that is what

Re: [webkit-dev] Purging as much memory as possible

2009-10-02 Thread Geoffrey Garen
Live items cannot be removed from the cache. Yeah, I think that is what I'm seeing. Assume the page is not being painted (e.g. the window is minimized). Is there a way to turn the live items into dead ones so they can be flushed? Obviously the instant we repaint we will have to obtain