[Webkit-unassigned] [Bug 14815] [gtk] API implementation: reload

[bugzilla-daemon at webkit.org]

http://bugs.webkit.org/show_bug.cgi?id=14815





------- Comment #3 from freyther at handhelds.org  2007-07-30 12:58 PDT -------
Oh one more CodingStyle issue (sorry):
+webkit_gtk_page_reload (WebKitGtkPage *page); it should be WebKitGtkPage* page
in both the header and the implementation. In theory the header could be
different but currently all other methods use WebKitGtkPage*, we can decide to
change that for the header but this would need to be handled in a different
bug.


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.