[Webkit-unassigned] [Bug 14815] [gtk] API implementation: reload
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Mon Jul 30 12:58:42 PDT 2007
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.
More information about the webkit-unassigned
mailing list